Sciweavers

4934 search results - page 811 / 987
» Implementing an API for Distributed Adaptive Computing Syste...
Sort
View
129
Voted
APN
2010
Springer
15 years 7 months ago
Wendy: A Tool to Synthesize Partners for Services
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
Niels Lohmann, Daniela Weinberg
HPCA
2006
IEEE
16 years 2 months ago
Store vectors for scalable memory dependence prediction and scheduling
Allowing loads to issue out-of-order with respect to earlier unresolved store addresses is very important for extracting parallelism in large-window superscalar processors. Blindl...
Samantika Subramaniam, Gabriel H. Loh
TOMCCAP
2011
145views more  TOMCCAP 2011»
14 years 9 months ago
A framework for cross-layer optimization of video streaming in wireless networks
tion problem in two steps. First, we formulate an abstract optimization problem for video streaming in wireless networks in general. This formulation exposes the important interact...
Cheng-Hsin Hsu, Mohamed Hefeeda
ICDCS
2009
IEEE
15 years 9 months ago
On Optimal Concurrency Control for Optimistic Replication
Concurrency control is a core component in optimistic replication systems. To detect concurrent updates, the system associates each replicated object with metadata, such as, versi...
Weihan Wang, Cristiana Amza
CSFW
2007
IEEE
15 years 8 months ago
Compositional Security for Task-PIOAs
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...