9210 search results - page 96 / 1842 » Analyzing Real-Time Systems |
RTSS
2008
IEEE
14 years 3 months ago
2008
IEEE
COTS peripherals are heavily used in the embedded market, but their unpredictability is a threat for high-criticality real-time systems: it is hard or impossible to formally verif...
HIPC
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents our work in combining peer-to-peer dynamic tree management with hierarchical Operational Transformation (OT) over document trees to achieve low computational an...
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 1 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 1 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...