20126 search results - page 3794 / 4026 » Timed Transition Systems |
141
Voted
HIPEAC
2009
Springer
15 years 7 months ago
2009
Springer
Shrinking process technologies and growing chip sizes have profound effects on process variation. This leads to Chip Multiprocessors (CMPs) where not all cores operate at maximum f...
130
Voted
AIIDE
2008
15 years 6 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
118
Voted
AVI
2008
15 years 6 months ago
2008
We describe a prototype video presentation system that presents a video in a manner consistent with the video's content. Our prototype takes advantage of the physically large...
136
Voted
USENIX
2008
15 years 6 months ago
2008
Continuous memory leaks severely hurt program performance and software availability for garbage-collected programs. This paper presents a safe method, called LeakSurvivor, to tole...
138
Voted
USS
2008
15 years 6 months ago
2008
Optical scan electronic voting machines employ software components that are customized for each specific election. Such software components are critical from a security and integr...