351 search results - page 24 / 71 » A Real-Time Java Component Model |
114
click to vote
GI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
133
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
112
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
117
Voted
TACAS
2010
Springer
15 years 3 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
125
click to vote
JVM
2004
15 years 3 months ago
2004
In this paper we establish a general framework for estimating the energy consumption of an embedded Java virtual machine (JVM). We have designed a number of experiments to find th...