Sciweavers

1558 search results - page 139 / 312
» Scalable work stealing
Sort
View
PDIS
1994
IEEE
15 years 3 months ago
Fault-Tolerant Distributed Garbage Collection in a Client-Server Object-Oriented Database
We present a scalable garbage collection scheme for systems that store objects at multiple servers while clients run transactions on locally cached copies of objects. It is the fi...
Umesh Maheshwari, Barbara Liskov
HPCN
1994
Springer
15 years 3 months ago
Experiments with HPF Compilation for a Network of Workstations
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
Fabien Coelho
ATVA
2009
Springer
141views Hardware» more  ATVA 2009»
15 years 3 months ago
Formal Verification for High-Assurance Behavioral Synthesis
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Ya...
PAKDD
2010
ACM
275views Data Mining» more  PAKDD 2010»
15 years 3 months ago
Anonymizing Transaction Data by Integrating Suppression and Generalization
Abstract. Privacy protection in publishing transaction data is an important problem. A key feature of transaction data is the extreme sparsity, which renders any single technique i...
Junqiang Liu, Ke Wang
FMN
2009
Springer
85views Multimedia» more  FMN 2009»
15 years 3 months ago
OASIS Archive - Open Archiving System with Internet Sharing
OASIS Archive project aimed at developing a system for the universal presentation of Media Art works independent of location. The goal was to establish a user-friendly search syste...
Juergen Enge, Andrzej Glowacz, Michal Grega, Mikol...