5344 search results - page 963 / 1069 » Privacy-Preserving Set Operations |
177
click to vote
IWMM
2009
Springer
16 years 26 days ago
2009
Springer
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
173
click to vote
PPDP
2009
Springer
16 years 26 days ago
2009
Springer
The construction of reliable concurrent and distributed systems is an extremely difficult endeavour. For complex systems, it requires modular development strategies based on prec...
183
click to vote
SEMWEB
2009
Springer
16 years 26 days ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
175
click to vote
CASES
2009
ACM
16 years 25 days ago
2009
ACM
Embedded processors have become increasingly complex, resulting in variable execution behavior and reduced timing predictability. On such processors, safe timing specifications e...
208
click to vote
HASKELL
2009
ACM
16 years 25 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...