3305 search results - page 127 / 661 » Can we Rely on SQL |
SAT
2009
Springer
14 years 4 months ago
2009
Springer
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are,...
PARA
1998
Springer
14 years 2 months ago
1998
Springer
Parallel tools rely on graphical techniques to improve the quality of user interaction. In this paper, we explore how visualization and direct manipulation can be exploited in para...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— Distributed hash tables (DHTs) provide efficient data naming and location with simple hash-table-like primitives, upon which sophisticated distributed applications can be buil...
ICALP
2001
Springer
14 years 2 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
AMAST
2008
Springer
14 years 8 days ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...