Sciweavers

3639 search results - page 452 / 728
» Provenance as Dependency Analysis
Sort
View
VLDB
1990
ACM
77views Database» more  VLDB 1990»
15 years 10 months ago
Efficient Main Memory Data Management Using the DBGraph Storage Model
Therequirementsfor amain memorydatastoragemodel are both compactnessand efficient processing for all database operations. The DBGraph storage model, proposed in this paper, achiev...
Philippe Pucheral, Jean-Marc Thévenin, Patr...
CAV
2007
Springer
108views Hardware» more  CAV 2007»
15 years 10 months ago
Parametric and Sliced Causality
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
Feng Chen, Grigore Rosu
GROUP
2007
ACM
15 years 10 months ago
Permutations of cooperative work practices: a study of two oncology clinics
Based on a comparative study of cooperative work practices at two oncology clinics, the paper shows that work practices across these otherwise comparable settings vary significant...
Kjeld Schmidt, Ina Wagner, Marianne Tolar
FCCM
2009
IEEE
106views VLSI» more  FCCM 2009»
15 years 10 months ago
Optimal Placement-aware Trace-Based Scheduling of Hardware Reconfigurations for FPGA Accelerators
Modern use of FPGAs as hardware accelerators involves the partial reconfiguration of hardware resources as the application executes. In this paper, we present a polynomial time al...
Joon Edward Sim, Weng-Fai Wong, Jürgen Teich
IAT
2009
IEEE
15 years 10 months ago
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
Patrick de Oude, Gregor Pavlin