1814 search results - page 95 / 363 » D-Stampede: Distributed Programming System for Ubiquitous Co... |
180
click to vote
ISPAN
2008
IEEE
16 years 18 days ago
2008
IEEE
Parallel computing is notoriously challenging due to the difficulty in developing correct and efficient programs. With the arrival of multi-core processors for desktop systems, ...
192
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
159
click to vote
CCGRID
2007
IEEE
16 years 16 days ago
2007
IEEE
Typical computational grid users target only a single cluster and have to estimate the runtime of their jobs. Job schedulers prefer short-running jobs to maintain a high system ut...
174
click to vote
TOCS
2002
15 years 5 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...
164
click to vote
ACMSE
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we describe our first year experiences of administering the NSF-supported Research Experiences for Undergraduates program award. Emerging issues in computer network...