6546 search results - page 1029 / 1310 » Improving the Performance of the RISE Algorithm |
150
Voted
MSWIM
2004
ACM
15 years 10 months ago
2004
ACM
Discrete event network simulators have emerged as popular tools for verification and performance evaluation for various wireless networks. Nevertheless, the desire to model such ...
156
Voted
SENSYS
2003
ACM
15 years 10 months ago
2003
ACM
Event-driven sensor networks operate under an idle or light load and then suddenly become active in response to a detected or monitored event. The transport of event impulses is l...
169
click to vote
SPAA
2010
ACM
15 years 9 months ago
2010
ACM
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...
147
click to vote
FOCS
2000
IEEE
15 years 9 months ago
2000
IEEE
There is an upsurging interest in designing succinct data structures for basic searching problems (see [23] and references therein). The motivation has to be found in the exponent...
173
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...