Sciweavers

351 search results - page 22 / 36
» A Real-Time Java Component Model
Sort
View
179 views 139 votes 15 years 6 months ago  ECBS 2005»
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
218 views 135 votes 15 years 8 months ago  BIBM 2009»
Abstract—Unacceptable execution time of Non-rigid registration (NRR) often presents a major obstacle to its routine clinical use. Parallel computing is an effective way to accele...
192 views 127 votes 15 years 7 months ago  ECRTS 2007»
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
139 views 108 votes 15 years 6 months ago  LCTRTS 2005»
This paper introduces the notion of transparent distribution of real time software components. Transparent distribution means that (1) the functional and temporal behavior of a sy...
111 views 124 votes 15 years 6 months ago  RTAS 2003»
Distributed real-time and embedded (DRE) applications often possess stringent quality of service (QoS) requirements. Designing middleware for DRE applications poses several challe...
137 views 114 votes 15 years 7 months ago  RTAS 2008»
Recent technologies such as the Real-Time Specification for Java promise to bring Java’s advantages to real-time systems. While these technologies have made Java more predictab...
96 views 101 votes 16 years 1 months ago  ICSE 2003»
The Vienna Component Framework (VCF) supports the interoperability and composability of components across different component models, a facility that is lacking in existing compon...
119 views 114 votes 15 years 5 months ago  JTRES 2009»
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...
171 views 99 votes 15 years 7 months ago  SEW 2006»
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
105 views 99 votes 15 years 6 months ago  EUROMICRO 2002»
In today's software engineering practices, building applications from components is the ongoing trend. What can be noticed however is that there really is not a clear consens...