5595 search results - page 865 / 1119 » Comparing Subsumption Optimizations |
192
click to vote
SC
2003
ACM
16 years 20 hour ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...
173
click to vote
SC
2003
ACM
16 years 20 hour ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
192
click to vote
CIARP
2003
Springer
16 years 5 hour ago
2003
Springer
Most people are used to signing documents and because of this, it is a trusted and natural method for user identity verification, reducing the cost of password maintenance and decr...
159
click to vote
CP
2003
Springer
16 years 4 hour ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
159
click to vote
DAGM
2003
Springer
16 years 3 hour ago
2003
Springer
In this paper, we present a real-time PCB inspection system which can detect defects including the breaks in the wires and short circuit. The proposed inspection algorithm is based...