Sciweavers

1617 search results - page 76 / 324
» Parallel Cost Analysis of Distributed Systems
Sort
View
IPPS
2006
IEEE
15 years 5 months ago
Towards an analysis of race carrier conditions in real-time Java
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
M. Teresa Higuera-Toledano
CONCUR
2006
Springer
15 years 2 months ago
Probability and Nondeterminism in Operational Models of Concurrency
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
Roberto Segala
FTDCS
1999
IEEE
15 years 3 months ago
Internet - Intranet - Infranet: A Modular Integrating Architecture
Based on an analysis of the heterogeneous systems for interconnecting distributed infrastructural devices, such as low-bandwidth sensor/actuator-networks and upcoming multimedia h...
Tom Pfeifer
IPPS
2002
IEEE
15 years 4 months ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
IPPS
2002
IEEE
15 years 4 months ago
System-Level Analysis for MPEG-4 Decoding on a Multi-Processor Architecture
The convergence of TV and new features such as Internet and games, requires a generic media-processing platform, that enables simultaneous execution of very diverse tasks, ranging...
Egbert G. T. Jaspers, Erik B. van der Tol, Peter H...