487 search results - page 17 / 98 » Implementation Correctness of a Real-Time Operating System |
VLDB
1991
ACM
13 years 11 months ago
1991
ACM
Due to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU...
ICMCS
1999
IEEE
14 years 16 hour ago
1999
IEEE
This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position ...
ICETE
2004
13 years 9 months ago
2004
: - Modern intrusion detection systems are comprised of three basically different approaches, host based, network based, and a third relatively recent addition called procedural ba...
ISCA
2003
IEEE
14 years 1 months ago
2003
IEEE
Meeting deadlines is a key requirement in safe realtime systems. Worst-case execution times (WCET) of tasks are needed for safe planning. Contemporary worst-case timing analysis t...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...