2302 search results - page 376 / 461 » The Evolution of Concurrent Programs |
141
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
130
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
We have designed, implemented and evaluated a resource adaptive distributed information sharing system where automatic adjustments are made internally in our information sharing sy...
111
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
150
Voted
PPOPP
2011
ACM
14 years 5 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
172
Voted
PROCEDIA
2011
14 years 5 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...