67 search results - page 7 / 14 » Semantically Enhanced Containers for Concurrent Real-Time Sy... |
ASE
2004
13 years 7 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
MICRO
1999
IEEE
13 years 11 months ago
1999
IEEE
3D graphics performance is increasing faster than any other computing application. Almost all PC systems now include 3D graphics accelerators for games, CAD, or visualization appl...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
TKDE
2002
13 years 7 months ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...
CAD
2000
Springer
13 years 7 months ago
2000
Springer
: Current feature modelling systems suffer from a number of shortcomings. One is that the meaning of features is often not adequately maintained during modelling, which implies tha...