2632 search results - page 461 / 527 » Alternating Timed Automata |
JSA
2000
14 years 11 months ago
2000
Integrating processors and main memory is a promising approach to increase system performance. Such integration provides very high memory bandwidth that can be exploited efficientl...
107
click to vote
ALGORITHMICA
1999
14 years 11 months ago
1999
Consider an on-line player who needs some equipment (e.g., a computer) for an initially unknown number of periods. At the start of each period it is determined whether the player w...
100
click to vote
WINET
2002
14 years 11 months ago
2002
Wireless network access protocols can assist nodes to conserve energy by identifying when they can enter low energy states. The goal is to put all nodes not involved in a transmiss...
122
click to vote
TPDS
2008
14 years 11 months ago
2008
It is widely accepted that transient failures will appear more frequently in chips designed in the near future due to several factors such as the increased integration scale. On th...
127
click to vote
TCS
2010
14 years 10 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...