6028 search results - page 97 / 1206 » Randomness as a resource for design |
112
Voted
FDL
2008
IEEE
15 years 7 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
145
Voted
MSWIM
2003
ACM
15 years 6 months ago
2003
ACM
Mobile Ad-Hoc Networks (MANETS) are networks of mobile nodes that do not have a fixed infrastructure. Recent research in this field addresses ways of solving existing problems i...
111
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a framework for designing end-to-end congestion control schemes in a network where each user may have a different utility function and may experience non-congestion-re...
101
click to vote
HPDC
1993
IEEE
15 years 4 months ago
1993
IEEE
Multiprocessor systems should exist in the the larger context of distributed systems, allowing multiprocessor resources to be shared by those that need them. Unfortunately, typica...
106
click to vote
EUROCRYPT
2004
Springer
15 years 6 months ago
2004
Springer
For counting points of Jacobians of genus 2 curves defined over large prime fields, the best known method is a variant of Schoof’s algorithm. We present several improvements on...