Sciweavers

1256 search results - page 204 / 252
» Compositional Memory Systems for Data Intensive Applications
Sort
View
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
15 years 9 months ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken
PODS
2008
ACM
250views Database» more  PODS 2008»
16 years 3 months ago
Approximating predicates and expressive queries on probabilistic databases
We study complexity and approximation of queries in an expressive query language for probabilistic databases. The language studied supports the compositional use of confidence com...
Christoph Koch
145
Voted
EMSOFT
2004
Springer
15 years 8 months ago
Reactive process networks
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
Marc Geilen, Twan Basten
ICIP
1998
IEEE
16 years 4 months ago
Adaptive Restoration of Speckled SAR Images using a Compound Random Markov Field
This paper proposes a restoration scheme for noisy images generated by coherent imaging systems (e.g., synthetic aperture radar, synthetic aperture sonar, ultrasound imaging, and ...
José M. B. Dias, José M. N. Leit&ati...
HPDC
2005
IEEE
15 years 8 months ago
Dynamic load balancing for distributed search
This paper examines how computation can be mapped across the nodes of a distributed search system to effectively utilize available resources. We specifically address computationa...
Larry Huston, Alex Nizhner, Padmanabhan Pillai, Ra...