7311 search results - page 1271 / 1463 » Time in State Machines |
197
click to vote
CCGRID
2004
IEEE
15 years 9 months ago
2004
IEEE
Recently Peer-to-Peer networks (P2P) have gained great attention and popularity. One key challenging aspect in a P2P resource sharing environment is an efficient searching algorit...
196
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
169
click to vote
DCOSS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Reprogramming the sensor networks in place is an important and challenging problem. One way suggested for reprogramming is with the help of an UAV (Unmanned Ariel Vehicle...
155
Voted
DFT
2006
IEEE
15 years 9 months ago
2006
IEEE
The concept of clocking for QCA, referred to as the four-phase clocking, is widely used. However, inherited characteristics of QCA, such as the way to hold state, the way to synch...
146
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...