3022 search results - page 463 / 605 » Make Way for WayMaker |
198
click to vote
FOIKS
2006
Springer
15 years 10 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...
215
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...
166
click to vote
FSE
2006
Springer
15 years 10 months ago
2006
Springer
The ground-breaking results of Wang et al. have attracted a lot of attention to the collision resistance of hash functions. In their articles, Wang et al. give input differences, d...
167
Voted
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
The AI optimization algorithm called "Squeaky-Wheel Optimization" (SWO) has proven very effective in a variety of real-world applications. Although the ideas behind SWO ...
175
Voted
CC
2001
Springer
15 years 10 months ago
2001
Springer
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...