8486 search results - page 40 / 1698 » Ordered Enumeration Method |
FORMATS
2009
Springer
15 years 6 months ago
2009
Springer
ISCA
2008
IEEE
15 years 6 months ago
2008
IEEE
There is still much performance to be gained by out-of-order processors with wider issue widths. However, traditional methods of increasing issue width do not scale; that is, they...
100
click to vote
CAV
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
TCS
2008
14 years 11 months ago
2008
We consider a large class of sequences, called admissible sequences, which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumera...
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
sion of an extended abstract published in Proceedings of Asiacrypt 2010, Springer-Verlag, 2010. Available from the IACR Cryptology ePrint Archive as Report 2010/474. Beginning wit...