Sciweavers

1855 search results - page 41 / 371
» A coding theorem for distributed computation
Sort
View
SP
2005
IEEE
188views Security Privacy» more  SP 2005»
14 years 4 months ago
BIND: A Fine-Grained Attestation Service for Secure Distributed Systems
In this paper, we propose BIND (Binding Instructions aNd Data),1 a fine-grained attestation service for securing distributed systems. Code attestation has recently received consi...
Elaine Shi, Adrian Perrig, Leendert van Doorn
IPPS
1997
IEEE
14 years 3 months ago
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...
Gopal Gupta, Enrico Pontelli
ICPPW
2003
IEEE
14 years 4 months ago
Constructing Nondominated Local Coteries for Distributed Resource Allocation
The resource allocation problem is a fundamental problem in distributed systems. In this paper, we focus on constructing nondominated (ND) local coteries to solve the problem. Dis...
Jehn-Ruey Jiang, Cheng-Sheng Chou, Shing-Tsaan Hua...
ICS
2007
Tsinghua U.
14 years 5 months ago
Scalability analysis of SPMD codes using expectations
Cristian Coarfa, John M. Mellor-Crummey, Nathan Fr...