Sciweavers

2642 search results - page 121 / 529
» Merge-by-Wire: Algorithms and System Support
Sort
View
SAC
2006
ACM
15 years 1 months ago
Efficient interactive configuration of unbounded modular systems
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
Erik Roland van der Meer, Andrzej Wasowski, Henrik...
COMCOM
2004
98views more  COMCOM 2004»
15 years 1 months ago
End system multicast: an architectural infrastructure and topological optimization
Although IP-multicast has been proposed and investigated for years, there are major problems inherent in the IP-multicasting technique, e.g., difficulty to scale up the system, di...
Starsky H. Y. Wong, John C. S. Lui
PDP
2007
IEEE
15 years 7 months ago
SockMi: a solution for migrating TCP/IP connections
SockMi is a solution for the migration of TCP/IP connections between Linux systems. Only the migrating peer of the connection needs to reside on a Linux system. The migration is c...
Massimo Bernaschi, Francesco Casadei, Paolo Tassot...
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
15 years 6 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
SAC
2009
ACM
15 years 8 months ago
Optimal service level allocation in environmentally powered embedded systems
Energy management is a critical concern in the design of embedded systems to prolong the lifetime or to maximize the performance under energy constraints. In particular, the emerg...
Clemens Moser, Jian-Jia Chen, Lothar Thiele