5640 search results - page 1032 / 1128 » Parallelizing the Data Cube |
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
Efficient algorithms exist for fault detection and isolation of physical systems based on functional redundancy. In a qualitative approach, this redundancy can be captured by a tem...
JAVA
2001
Springer
14 years 1 months ago
2001
Springer
CCJ is a communication library that adds MPI-like collective operations to Java. Rather than trying to adhere to the precise MPI syntax, CCJ aims at a clean integration of collect...
MICRO
2000
IEEE
14 years 1 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
HICSS
1999
IEEE
14 years 1 months ago
1999
IEEE
The main objective of the IBM Grand Central Station (GCS) is to gather information of virtually any type of formats (text, data, image, graphics, audio, video) from the cyberspace...