2333 search results - page 379 / 467 » Recursive Computational Depth |
181
click to vote
ISSAC
2007
Springer
16 years 23 days ago
2007
Springer
The parallelization of two applications in symmetric cryptography is considered: block ciphering and a new method based on random sampling for the selection of basic substitution ...
198
click to vote
SOFSEM
2007
Springer
16 years 22 days ago
2007
Springer
In this paper we deal with making drawings of clustered hierarchical graphs nicer. Given a planar graph G = (V, E) with an assignment of the vertices to horizontal layers, a plane ...
192
click to vote
VLDB
2007
ACM
16 years 22 days ago
2007
ACM
Uncertain data are inherent in some important applications. Although a considerable amount of research has been dedicated to modeling uncertain data and answering some types of qu...
174
click to vote
CCGRID
2006
IEEE
16 years 21 days ago
2006
IEEE
The Data Grid provides a scalable infrastructure for storage resources and data distribution management. It also supports a variety of scientific applications that require access...
178
click to vote
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...