Sciweavers

ECOOP
2006
Springer
13 years 8 months ago
Modular Software Upgrades for Distributed Systems
Abstract. Upgrading the software of long-lived, highly-available distributed systems is difficult. It is not possible to upgrade all the nodes in a system at once, since some nodes...
Sameer Ajmani, Barbara Liskov, Liuba Shrira
MIDDLEWARE
2009
Springer
13 years 11 months ago
Automatic Generation of Network Protocol Gateways
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
Yérom-David Bromberg, Laurent Réveil...
DATE
2009
IEEE
86views Hardware» more  DATE 2009»
13 years 11 months ago
A formal approach to design space exploration of protocol converters
In the field of chip design, hardware module reuse is a standard solution to the increasing complexity of chip architecture and the pressures to reduce time to market. In the abs...
Karin Avnit, Arcot Sowmya
DAC
1998
ACM
14 years 5 months ago
Automatic Synthesis of Interfaces Between Incompatible Protocols
Roberto Passerone, James A. Rowson, Alberto L. San...