3820 search results - page 596 / 764 » Bounded Model Debugging |
123
click to vote
TAMC
2007
Springer
15 years 8 months ago
2007
Springer
In previous work we have introduced an average-case measure for the time complexity of Boolean circuits – that is the delay between feeding the input bits into a circuit and the ...
136
Voted
MOBICOM
2005
ACM
15 years 8 months ago
2005
ACM
Next generation fixed wireless broadband networks are being increasingly deployed as mesh networks in order to provide and extend access to the internet. These networks are chara...
124
Voted
SPAA
2005
ACM
15 years 8 months ago
2005
ACM
An asynchronous algorithm is described for rapidly constructing an overlay network in a peer-to-peer system where all nodes can in principle communicate with each other directly t...
108
click to vote
EUROCRYPT
2005
Springer
15 years 8 months ago
2005
Springer
It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding ...
109
click to vote
MOBICOM
2004
ACM
15 years 8 months ago
2004
ACM
Sensor networks are often desired to last many times longer than the active lifetime of individual sensors. This is usually achieved by putting sensors to sleep for most of their ...