Sciweavers

6274 search results - page 916 / 1255
» Proofs, Programs, Processes
Sort
View
117
Voted
DBPL
2003
Springer
120views Database» more  DBPL 2003»
15 years 8 months ago
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
Iluju Kiringa, Raymond Reiter
FPL
2003
Springer
95views Hardware» more  FPL 2003»
15 years 8 months ago
Reconfigurable Hardware SAT Solvers: A Survey of Systems
By adapting to computations that are not so well supported by general-purpose processors, reconfigurable systems achieve significant increases in performance. Such computational sy...
Iouliia Skliarova, António de Brito Ferrari
ICVS
2003
Springer
15 years 8 months ago
Monkeys -- A Software Architecture for ViRoom -- Low-Cost Multicamera System
Abstract. This paper presents a software architecture for a softwaresynchronized multicamera setup. The software allows consistent multiimage acquisition, image processing and deci...
Petr Doubek, Tomás Svoboda, Luc J. Van Gool
125
Voted
IFL
2003
Springer
15 years 8 months ago
Dynamic Chunking in Eden
Parallel programming generally requires awareness of the granularity and communication requirements of parallel subtasks, since without precaution, the overhead for parameter and r...
Jost Berthold
149
Voted
DATE
2010
IEEE
184views Hardware» more  DATE 2010»
15 years 8 months ago
Parallel subdivision surface rendering and animation on the Cell BE processor
—Subdivision Surfaces provide a compact way to describe a smooth surface using a mesh model. They are widely used in 3D animation and nearly all modern modeling programs support ...
R. Grottesi, S. Morigi, Martino Ruggiero, Luca Ben...