1465 search results - page 169 / 293 » Making the Correct Mistakes |
166
click to vote
CSL
2004
Springer
15 years 12 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
172
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
Data cleaning deals with the detection and removal of errors and inconsistencies in data, gathered from distributed sources. This process is essential for drawing correct conclusio...
160
click to vote
ECOOP
2004
Springer
15 years 12 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
155
click to vote
FPGA
2004
ACM
15 years 12 months ago
2004
ACM
We present the design of a high-performance, highly pipelined asynchronous FPGA. We describe a very fine-grain pipelined logic block and routing interconnect architecture, and sh...
173
click to vote
GRID
2004
Springer
15 years 12 months ago
2004
Springer
With the advent of Grid computing, more and more highend computational resources become available for use to a scientist. While this opens up new avenues for scientific research,...