3820 search results - page 596 / 764 » Bounded Model Debugging |
175
click to vote
TAMC
2007
Springer
16 years 18 days 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 ...
196
click to vote
MOBICOM
2005
ACM
16 years 1 days 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...
165
click to vote
SPAA
2005
ACM
16 years 1 days 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...
147
click to vote
EUROCRYPT
2005
Springer
16 years 11 hour 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 ...
159
click to vote
MOBICOM
2004
ACM
15 years 12 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 ...