210 search results - page 24 / 42 » Prototype Platforms for Distributed Agreements |
ICFP
2007
ACM
14 years 8 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Objectives of the dissertation are impacts of Peerto-Peer (P2P) traffic on Internet core networks as well as novel approaches for using P2P technology in Internet access ...
CGO
2006
IEEE
14 years 2 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...
ICPPW
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Motivated by the increasing heterogeneity and complexity of MPSoC systems, we propose a component-based generic approach for MPSoC observation. We show that components...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In future high-performance systems it will be essential to balance often-conflicting objectives of performance, power, energy, and temperature under variable workload and environ...