9210 search results - page 173 / 1842 » Analyzing Real-Time Systems |
MPC
1998
Springer
15 years 5 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
106
click to vote
IAJIT
2006
15 years 1 months ago
2006
: This paper presents the design and implementation of a real-time fuzzy-based artificial intelligence system for an interactive game. The chosen game is a remake of Pac-Man in whi...
COMPUTER
2000
15 years 1 months ago
2000
To be an effective platform for performance-sensitive real-time systems, distributed object computing middleware must support application quality of service (QoS) requirements end...
111
click to vote
RTS
1998
15 years 24 days ago
1998
When developing multitasking real-time systems, schedulability tests are used to formally prove that a given task set will meet its deadlines. A wide range of such tests have appe...
124
click to vote
RTS
2002
15 years 24 days ago
2002
As desktop computer computational power continues to increases dramatically, it is becoming commonplace to run a combination of deadline-sensitive applications. Despite the prolif...