2286 search results - page 335 / 458 » Algorithms for Categorical Equivalence |
188
click to vote
SC
2009
ACM
2009
ACM
Comparative study of one-sided factorizations with multiple software packages on multi-core hardware
15 years 11 months ago
The emergence and continuing use of multi-core architectures require changes in the existing software and sometimes even a redesign of the established algorithms in order to take ...
154
click to vote
COCO
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores the difference between parallel and serial queries to an NP-complete oracle, SAT, from the perspective of functions with a limited number of output bits. For ...
150
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...
146
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we propose a fast and simple heuristic for the cosynthesis problem targeting the system-on-chip (SOC) design. The proposed algorithm covers from implementation sele...
156
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...