Sciweavers

6756 search results - page 433 / 1352
» Distributed Shared State
Sort
View
WSC
1997
15 years 8 months ago
Long-Lasting Transient Conditions in Simulations with Heavy-Tailed Workloads
Recent evidence suggests that some characteristics of computer and telecommunications systems may be well described using heavy tailed distributions — distributions whose tail d...
Mark Crovella, Lester Lipsky
IPPS
2006
IEEE
16 years 25 days ago
Relationships between communication models in networks using atomic registers
A distributed system is commonly modelled by a graph where nodes represent processors and there is an edge between two processors if and only if they can communicate directly. In ...
Lisa Higham, Colette Johnen
HPDC
1998
IEEE
15 years 11 months ago
The NetLogger Methodology for High Performance Distributed Systems Performance Analysis
We describe a methodology that enables the real-time diagnosis of performance problems in complex high-performance distributed systems. The methodology includes tools for generati...
Brian Tierney, William E. Johnston, Brian Crowley,...
SKG
2006
IEEE
16 years 25 days ago
The Theory Grid and Grid Theorists
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi ...
IPPS
2003
IEEE
16 years 3 days ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He