6608 search results - page 1044 / 1322 » On the Completeness of Model Checking |
176
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
185
click to vote
3DPVT
2006
IEEE
16 years 23 days ago
2006
IEEE
The use of surface harmonics for rigid and nonrigid shape description is well known. In this paper we define a set of complete hemispherical harmonic basis functions on a hemisph...
162
click to vote
3DPVT
2006
IEEE
16 years 23 days ago
2006
IEEE
— In this paper we report our progress in building a system for the acquisition, analysis, and visualization of a collection of Native Californian baskets from the Phoebe A. Hear...
125
click to vote
HICSS
2006
IEEE
16 years 22 days ago
2006
IEEE
Information systems often present virtual spaces that are sufficient to enable important human interaction. By enabling such interaction, systems designers are inherently creating...
172
click to vote
ICDCS
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a design and analysis of scheduling techniques to cope with the inherent unreliability and instability of worker nodes in large-scale donation-based distribute...