56 search results - page 7 / 12 » Reliability Analysis of Safety-Related Communication Archite... |
ICNP
2005
IEEE
14 years 1 months ago
2005
IEEE
A mutually anonymous service hides the identity of a client from the service provider and vice-versa. Providing mutual anonymity usually requires a large number of participants. W...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
To be agile and cost effective, data centers should allow dynamic resource allocation across large server pools. In particular, the data center network should enable any server to...
MOBICOM
2003
ACM
14 years 23 days ago
2003
ACM
The characteristics of ad hoc networks naturally encourage the deployment of distributed services. Although current networks implement group communication methods, they do not sup...
PASTE
2010
ACM
13 years 11 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...