Sciweavers

6756 search results - page 166 / 1352
» Distributed Shared State
Sort
View
HICSS
2003
IEEE
207views Biometrics» more  HICSS 2003»
15 years 10 months ago
Formalizing Multi-Agent POMDP's in the context of network routing
This paper uses partially observable Markov decision processes (POMDP’s) as a basic framework for MultiAgent planning. We distinguish three perspectives: first one is that of a...
Bharaneedharan Rathnasabapathy, Piotr J. Gmytrasie...
FMSD
2007
110views more  FMSD 2007»
15 years 5 months ago
Exploiting interleaving semantics in symbolic state-space generation
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. ...

Publication
1286views
17 years 3 months ago
A Quantitative Measure Of Fairness And Discrimination For Resource Allocation In Shared Computer Systems
Fairness is an important performance criterion in all resource allocation schemes, including those in distributed computer systems. However, it is often specified only qualitativel...
R. Jain, D. Chiu, and W. Hawe
HIPC
2007
Springer
15 years 11 months ago
Direct Coherence: Bringing Together Performance and Scalability in Shared-Memory Multiprocessors
Traditional directory-based cache coherence protocols suffer from long-latency cache misses as a consequence of the indirection introduced by the home node, which must be accessed...
Alberto Ros, Manuel E. Acacio, José M. Garc...
HPDC
2006
IEEE
15 years 11 months ago
When Jobs Play Nice: The Case For Symbiotic Space-Sharing
Using a large HPC platform, we investigate the effectiveness of “symbiotic space-sharing”, a technique that improves system throughput by executing parallel applications in comb...
Jonathan Weinberg, Allan Snavely