4075 search results - page 769 / 815 » Modeling Distributed Algorithm Using B |
169
click to vote
QEST
2006
IEEE
16 years 6 days 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 ...
147
click to vote
DATE
2005
IEEE
15 years 11 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 ...
176
click to vote
PCI
2005
Springer
15 years 11 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...
179
click to vote
VISUALIZATION
2003
IEEE
15 years 11 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...
162
click to vote
FOCS
1992
IEEE
15 years 10 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...