3134 search results - page 18 / 627 » Computing full disjunctions |
ENTCS
2006
14 years 11 months ago
2006
models and full abstraction Gavin Lowe and Jo
CONCUR
2003
Springer
15 years 4 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
DAC
1996
ACM
15 years 3 months ago
1996
ACM
Abstract-An efficient full-wave electromagnetic analysis tool would be useful in many aspects of engineering design. Development of integral-equation based tools has been hampered ...
200
click to vote
ASIACRYPT
2011
Springer
13 years 11 months ago
2011
Springer
Since Rijndael was chosen as the Advanced Encryption Standard, improving upon 7-round attacks on the 128-bit key variant or upon 8-round attacks on the 192/256-bit key variants has...
VTS
1995
IEEE
15 years 3 months ago
1995
IEEE
To ensure the production of reliable circuits and fully testable unpackaged dies for MCMs burn-in, both dynamic and monitored, remains a feasible option. During this burn-in proce...