Sciweavers

1326 search results - page 33 / 266
» A Framework for Modeling the Distributed Deployment of Synch...
Sort
View
LICS
1996
IEEE
14 years 1 months ago
Reactive Modules
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
Rajeev Alur, Thomas A. Henzinger
IPPS
1999
IEEE
14 years 1 months ago
The Paderborn University BSP (PUB) Library - Design, Implementation and Performance
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between an...
Olaf Bonorden, Ben H. H. Juurlink, Ingo von Otte, ...
ICWS
2004
IEEE
13 years 10 months ago
Web Service Authorization Framework
Web Services represent an important technology for distributed applications and will replace various other technologies for distributed application development soon. A lot of prob...
Thomas Ziebermayr, Stefan Probst
CLUSTER
2008
IEEE
14 years 3 months ago
A trace-driven emulation framework to predict scalability of large clusters in presence of OS Jitter
—Various studies have pointed out the debilitating effects of OS Jitter on the performance of parallel applications on large clusters such as the ASCI Purple and the Mare Nostrum...
Pradipta De, Ravi Kothari, Vijay Mann
IJNM
2006
175views more  IJNM 2006»
13 years 8 months ago
An OPNET-based simulation approach for deploying VoIP
These days a massive deployment of VoIP is taking place over IP networks. VoIP deployment is a challenging task for network researchers and engineers. This paper presents a detaile...
Khaled Salah, A. Alkhoraidly