Sciweavers

INFSOF
2002
85views more  INFSOF 2002»
13 years 4 months ago
A methodology of testing high-level Petri nets
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
Hong Zhu, Xudong He
DC
1998
13 years 4 months ago
Detection of Global Predicates: Techniques and Their Limitations
We show that the problem of predicate detection in distributed systems is NP-complete. In the past, efficient algorithms have been developed for special classes of predicates suc...
Craig M. Chase, Vijay K. Garg
COMCOM
1998
52views more  COMCOM 1998»
13 years 4 months ago
Dissemination of state information in distributed autonomous systems
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...
Steve J. Chapin, Eugene H. Spafford
FGCS
2002
138views more  FGCS 2002»
13 years 4 months ago
Armada: a parallel I/O framework for computational grids
High-performance computing increasingly occurs on "computational grids" composed of heterogeneous and geographically distributed systems of computers, networks, and stor...
Ron Oldfield, David Kotz
ENTCS
2002
120views more  ENTCS 2002»
13 years 4 months ago
Composition of Distributed Software with Algon - Concepts and Possibilities
The perceived advantages of distributed systems, such as increased reliability and availability, are o set by the increased complexity of developing such applications. The develop...
Judith Bishop, Karen Renaud, Basil Worrall
FGCS
2000
143views more  FGCS 2000»
13 years 4 months ago
A data intensive distributed computing architecture for "Grid" applications
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing large-scale computation. The...
Brian Tierney, William E. Johnston, Jason Lee, Mar...
CIE
2004
Springer
13 years 4 months ago
University of Southern California's Institute for Creative Technologies
When dealing with large, distributed systems that use state-of-the-art components, individual components are usually developed in parallel. As development continues, the decouplin...
Michael van Lent
JPDC
2007
86views more  JPDC 2007»
13 years 4 months ago
Performance evaluation of a new scheduling algorithm for distributed systems with security heterogeneity
High quality of security is increasingly critical for applications running on heterogeneous distributed systems. However, existing scheduling algorithms for heterogeneous distribu...
Tao Xie 0004, Xiao Qin
JCIT
2007
103views more  JCIT 2007»
13 years 4 months ago
Distributed Systems: An Effective Information Sharing Approach for Legacy Systems
An important issue of distributed systems is interoperability. Lack of interoperability between distributed systems is a common problem with current and legacy applications. Since...
S. Kami Makki
FUIN
2007
89views more  FUIN 2007»
13 years 4 months ago
The Decent Philosophers: An Exercise in Concurrent Behaviour
Concurrent runs reveal more insight into distributed systems than interleaved runs. This is shown by help of Dijkstra’s paradigm of five philosophers.
Wolfgang Reisig