3228 search results - page 518 / 646 » Basics of Compiler Design |
135
click to vote
FOIKS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...
120
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
The use of reconfigurable hardware for network security applications has recently made great strides as FPGA devices have provided larger and faster resources. Regular expressions...
136
click to vote
EUROCRYPT
2000
Springer
15 years 7 months ago
2000
Springer
Password-based protocols for authenticated key exchange (AKE) are designed to work despite the use of passwords drawn from a space so small that an adversary might well enumerate, ...
130
Voted
GCSE
2000
Springer
15 years 7 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
166
click to vote
ICRA
2000
IEEE
15 years 7 months ago
2000
IEEE
A simple and efficient randomized algorithm is presented for solving single-query path planning problems in high-dimensional configuration spaces. The method works by incrementall...