3387 search results - page 89 / 678 » Model-Checking for Real-Time Systems |
WORDS
2003
IEEE
14 years 2 months ago
2003
IEEE
A new class of applications can now be envisaged with the emergence of both mobile ad hoc computing and ubiquitous computing. Applications of such kind are characterised by being ...
VLSID
2002
IEEE
14 years 2 months ago
2002
IEEE
à This paper addresses the problem of static and dynamic variable voltage scheduling of multi-rate periodic task graphs (i.e., tasks with precedence relationships) and aperiodic t...
ISORC
2000
IEEE
14 years 2 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
EUROMICRO
1998
IEEE
14 years 1 months ago
1998
IEEE
A real-time active database system (RTADBS) has to provide capabilities for timely trigger of timeconstrained transactions and at the same time to process them, concurrently with ...