607 search results - page 110 / 122 » Implementation of a Virtual Time Synchronizer for Distribute... |
105
click to vote
FMSD
2007
14 years 9 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
108
click to vote
VIS
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe OpenGL Multipipe SDK (MPK), a toolkit for scalable parallel rendering based on OpenGL. MPK provides a uniform application programming interface (API) to manage scalabl...
175
Voted
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...
DOLAP
2004
ACM
15 years 3 months ago
2004
ACM
During the few last years, several approaches have been proposed to model different aspects of a Data Warehouse (DW), such as the conceptual model of the DW, the design of the ET...
162
click to vote
GIS
2004
ACM
15 years 10 months ago
2004
ACM
Aerial video provides strong cues for automatic road extraction that are not available in static aerial images. Using stabilized (or geo-referenced) video data, capturing the dist...