7557 search results - page 724 / 1512 » Modeling Timed Concurrent Systems |
333
Voted
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Deterministic replay systems record and reproduce the execution of a hardware or software system. In contrast to replaying execution on uniprocessors, deterministic replay on mult...
221
click to vote
AGENTS
2001
Springer
15 years 12 months ago
2001
Springer
Rodents possess extraordinary navigation abilities that are far in excess of what current state-of-the-art robot agents are capable of. This paper describes research that is part ...
202
click to vote
IDT
2008
15 years 7 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
179
Voted
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
In recent times, much attention has been devoted to power optimization for real-time systems, while guaranteeing that such systems meet their hard (or soft) scheduling deadlines. ...
234
Voted
AINA
2005
IEEE
16 years 1 months ago
2005
IEEE
Many existing software applications involve complex application layer implemented in OO programming languages and at the same time use relational database systems as back-end data...