1304 search results - page 166 / 261 » RTOS Modeling for System Level Design |
159
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
207
click to vote
TCSB
2010
15 years 2 months ago
2010
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
146
click to vote
FAC
2000
15 years 3 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
145
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
139
Voted
ECRTS
2008
IEEE
15 years 5 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...