Sciweavers

1855 search results - page 41 / 371
» A coding theorem for distributed computation
Sort
View
SP
2005
IEEE
188views Security Privacy» more  SP 2005»
15 years 11 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
15 years 10 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
15 years 11 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.
16 years 3 days ago
Scalability analysis of SPMD codes using expectations
Cristian Coarfa, John M. Mellor-Crummey, Nathan Fr...