774 search results - page 32 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
78
Voted
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
85
Voted
MASCOTS
2010
14 years 8 months ago
2010
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
83
Voted
INFOCOM
1998
IEEE
15 years 1 months ago
1998
IEEE
The rapid growth of the World Wide Web in recent years has caused a significant shift in the composition of Internet traffic. Although past work has studied the behavior of TCP dy...
AIIDE
2008
15 years 9 hour 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...
100
click to vote
EUROMICRO
1998
IEEE
15 years 1 months ago
1998
IEEE
A real-time active database system (RTADBS) has to provide capabilities for timely trigger of timeconstrained transactions and at the same time to process them, concurrently with ...