Nowadays, due to the frequent technological innovationand market changes, software libraries are evolving veryquickly. To make sure that existing client software applicationsare not broken after a library update, back...
详细信息
This paper presents a system for constraint programming in java using translation of JVM bytecode into SMT. This allows the constraints to be written in normal java, to being interoperable with the rest of the program...
详细信息
Automatic building of software projects providesa desirable foundation to support a large variety of softwareengineering research tasks based on open software repositories. In this paper, we propose the first techniqu...
详细信息
Top-k queries over data streams is a well studied problem. There exists numerous systems allowing to process continuous queries over sliding windows. At the opposite, non- append only streams call for ad-hoc solutions...
详细信息
This editorial describes a special issue of papers from the 2014 workshop on java Technologies for Real-Time and Embedded Systems.[1] There are four papers in this special issue. The first paper [2] presents HVMTP, a ...
详细信息
This editorial describes a special issue of papers from the 2014 workshop on java Technologies for Real-Time and Embedded Systems.[1] There are four papers in this special issue. The first paper [2] presents HVMTP, a time predictable and portable java virtual machine (JVM) implementation with applications in resource-constrained, hard real-time embedded systems, which implements all levels of the safety-critical java (SCJ) specification. Time predictability is achieved by a combination of time-predictable algorithms, exploiting the programming model of the SCJ profile and harnessing the static knowledge of the hosted SCJ system. This paper presents HVMTP in terms of its design and capabilities and demonstrates how a complete timing model of the JVM represented as a network of timed automata can be obtained using the tool TETASARTSJVM. The timing model readily integrates with the rest of the TETASARTS toolset for temporal verification of SCJ systems. A complete timing scheme in terms of safe worst-case execution times and best-case execution times of the java bytecodes is derived from the model. The paper takes a first look at how to support the new java 8 language feature of Lambda expressions in an SCJ context – looking in particular at how the bytecode, used for invoking java 8 closures, can be implemented in a time-predictable way and integrated into HVMTP.
java provides security and robustness by building a high-level security model atop the foundation of memory protection. Unfortunately, any native code linked into a java program-including the million lines used to imp...
详细信息
Reflective supertype information (RSI) is useful for many instrumentation-based dynamic analyses on the java Virtual Machine (JVM). On the one hand, while such information can be obtained when performing the instrumen...
详细信息
Each and every aspect of the modern society is affected by the technology. From extensive usage of electronic health records towards advances in engineering and technology, modern healthcare and its delivery methods a...
详细信息
ISBN:
(纸本)9781509037056
Each and every aspect of the modern society is affected by the technology. From extensive usage of electronic health records towards advances in engineering and technology, modern healthcare and its delivery methods are varying at an ever growing rate. A java based real-time data access and monitoring system using Bluetooth module can be helpful for continuous monitoring of patients to keep healthy environment. Along with the record maintenance, it can also serve as a remote monitor for chronic diseases. This proposal can act as a user interface to update data and can serve as backend program. In the front end side, processed real time data/signals communicated with microcontroller can be received successfully via Bluetooth technology [7] to the Bluetooth transceiver. java program will access the data and store it for analysis whenever needed using GUI. In hospitals, health records of the patients are being kept in database which can be accessed from anywhere in the amenity. This not only saves time but it also results in a better coordination and management of the data. The extensive use of technology in maintaining health records digitally has resulted in major savings in costs, as well as improved patients physical condition and safety. It is used to create an application for monitoring certain parameters such as temperature, sound intensity, bio-medical signals, pressure, humidity and more.
This paper describes a design and implementation of APP based on the early adopters of Android platform,the system uses the java programming language,based on the development of Android *** server uses the Tomcat+Ecli...
详细信息
This paper describes a design and implementation of APP based on the early adopters of Android platform,the system uses the java programming language,based on the development of Android *** server uses the Tomcat+Eclipse+Struts2 architecture and combines the MYSQL database to build *** can use the APP scan code to experience the product trial,and also can feedback the trial products,and provide a good platform for enterprises to understand their products.
This paper presents significant extensions of a vertically integrated platform, capable of real time processing of synchronized measurements obtained from a wide area monitoring system. Specific new contributions focu...
详细信息
暂无评论