2673 search results - page 386 / 535 » Guided Static Analysis |
136
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
121
click to vote
ISLPED
1999
ACM
15 years 9 months ago
1999
ACM
In this paper, we propose a technique that uses an additional mini cache, the L0-Cache, located between the instruction cache I-Cache and the CPU core. This mechanism can provid...
162
click to vote
FOCS
1999
IEEE
15 years 9 months ago
1999
IEEE
We present a simple probabilistic algorithm for solving kSAT, and more generally, for solving constraint satisfaction problems (CSP). The algorithm follows a simple localsearch pa...
123
click to vote
HICSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Empirical work with "Belvedere," a software environment for the construction of diagrammatic representations of evidential relations, is summarized, leading to the hypot...
131
click to vote
ICCBR
1999
Springer
15 years 9 months ago
1999
Springer
Case-based problem-solving systems reason and learn from experiences, building up case libraries of problems and solutions to guide future reasoning. The expected bene ts of this l...