2333 search results - page 379 / 467 » Recursive Computational Depth |
130
Voted
ISSAC
2007
Springer
15 years 9 months 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 ...
151
click to vote
SOFSEM
2007
Springer
15 years 8 months 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 ...
131
Voted
VLDB
2007
ACM
15 years 8 months 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...
117
Voted
CCGRID
2006
IEEE
15 years 8 months 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...
128
Voted
ACL2
2006
ACM
15 years 8 months 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...