4155 search results - page 459 / 831 » External Memory Algorithms |
146
click to vote
FROCOS
2005
Springer
16 years 9 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
194
click to vote
DOLAP
2004
ACM
16 years 7 days ago
2004
ACM
We address the inference control problem in data cubes with some data known to users through external knowledge. The goal of inference controls is to prevent exact values of sensi...
175
click to vote
SBCCI
2004
ACM
16 years 6 days ago
2004
ACM
This paper proposes a test planning method capable of reusing available processors as test sources and sinks, and the on-chip network as the access mechanism for the test of cores...
154
click to vote
SIGCSE
2004
ACM
16 years 6 days ago
2004
ACM
We present software tools that support robust input processing and comprehensive testing in Java. The software includes the JPT library that supports error-checked typed input via...
168
click to vote
PATAT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Automated timetabling is a research domain that has occupied many researchers over the last 50 years. Several algorithms have proven to be applicable to timetabling but t...