557 search results - page 98 / 112 » Automatic Abstraction for Verification of Timed Circuits and... |
120
Voted
MM
2009
ACM
15 years 4 months ago
2009
ACM
In basketball games, wild-open means that there is an offensive player not well defended by his/her opponents. The occurrence of wild-open usually implies the existence of a succe...
79
Voted
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-In this paper, a Q-learning-based hybrid automatic repeat request (Q-HARQ) scheme is proposed to achieve efficient resource utilization for high speed downlink packet acc...
TWC
2010
14 years 4 months ago
2010
Abstract--Free-space optical (FSO) transmission systems enable high-speed communication with relatively small deployment costs. However, FSO suffers a critical disadvantage, namely...
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract In this paper, we propose the use of a distributed service management architecture for state-of-the-art service-enabled Grids. The architecture is capable of performing au...