617 search results - page 73 / 124 » Debugging distributed programs using controlled re-execution |
158
click to vote
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we present a mandatory access control system that uses input from multiple stakeholders to compose policies based on runtime information. In the emerging ubiquitous...
93
Voted
IPPS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper we investigate feedback-directed dynamic selection between different implementations of atomic blocks. We initially execute atomic blocks using STM with optimistic c...
129
click to vote
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
139
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...
125
Voted
GECCO
2009
Springer
15 years 9 months ago
2009
Springer
This paper describes a study of the evolution of robust communication, specifically the distribution of data among individuals in a population, using digital evolution. In digita...