Sciweavers

Share
ECOOP
2006
Springer
9 years 2 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
9 years 5 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»
9 years 5 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
10 years 2 days ago
Automatic Synthesis of Interfaces Between Incompatible Protocols
Roberto Passerone, James A. Rowson, Alberto L. San...
books