4075 search results - page 769 / 815 » Modeling Distributed Algorithm Using B |
114
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
98
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
Overheating has been acknowledged as a major issue in testing complex SOCs. Several power constrained system-level DFT solutions (power constrained test scheduling) have recently ...
108
click to vote
PCI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The advances in wireless communications along with the exponential growth of transistors per integrated circuit lead to a rapid evolution of Wireless Sensor Devices (WSDs...
115
Voted
VISUALIZATION
2003
IEEE
15 years 5 months ago
2003
IEEE
We describe an efficient technique for out-of-core management and interactive rendering of planet sized textured terrain surfaces. The technique, called P-Batched Dynamic Adaptiv...
110
Voted
FOCS
1992
IEEE
15 years 4 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...