Sciweavers

ECOOP
2006
Springer
14 years 3 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
14 years 6 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»
14 years 6 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
15 years 12 days ago
Automatic Synthesis of Interfaces Between Incompatible Protocols
Roberto Passerone, James A. Rowson, Alberto L. San...