3864 search results - page 381 / 773 » time 2005 |
150
click to vote
ASM
2005
ASM
16 years 11 days ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
173
click to vote
SAT
2005
Springer
16 years 9 days ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
175
click to vote
CAD
2005
Springer
15 years 6 months ago
2005
Springer
We introduce a new approach to the problem of collision detection in multi-axis NC-machining. Due to the directional nature (tool axis) of multi-axis NCmachining, space subdivisio...
182
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
— A novel power attack resistant cryptosystem is presented in this paper. Security in digital computing and communication is becoming increasingly important. Design techniques th...
160
click to vote
P2P
2005
IEEE
16 years 12 days ago
2005
IEEE
We address the problem of highly transient populations in unstructured and loosely-structured peerto-peer systems. We propose a number of illustrative query-related strategies and...