3005 search results - page 578 / 601 » Logical Information Systems: from Taxonomies to Logics |
105
click to vote
ISORC
2009
IEEE
15 years 8 months ago
2009
IEEE
Distributed real-time automotive embedded systems have to be highly dependable as well as cost-efficient due to the large number of manufactured units. To close the gap between r...
132
click to vote
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
120
click to vote
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
102
click to vote
DIGRA
2003
Springer
15 years 7 months ago
2003
Springer
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
123
Voted
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
While it is widely believed that preemptability is a necessary requirement for developing real-time software, there are additional costs involved with preemptive scheduling, as co...