Sciweavers

2813 search results - page 334 / 563
» Formalizing Architectural Connection
Sort
View
SIGMETRICS
2010
ACM
153views Hardware» more  SIGMETRICS 2010»
15 years 1 months ago
Using virtualization and live migration in a scalable mobile wireless testbed
Laboratory-based mobile wireless testbeds such as MeshTest and the CMU Wireless Emulator are powerful platforms that allow users to perform controlled, repeatable, mobile wireless ...
Dongwoon Hahn, Ginnah Lee, Brenton D. Walker, Matt...
SIGMOD
2006
ACM
126views Database» more  SIGMOD 2006»
16 years 6 months ago
Declarative networking: language, execution and optimization
The networking and distributed systems communities have recently explored a variety of new network architectures, both for applicationlevel overlay networks, and as prototypes for...
Boon Thau Loo, Tyson Condie, Minos N. Garofalakis,...
EMSOFT
2009
Springer
16 years 1 months ago
Clock-driven distributed real-time implementation of endochronous synchronous programs
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
Dumitru Potop-Butucaru, Robert de Simone, Yves Sor...
SAS
2007
Springer
108views Formal Methods» more  SAS 2007»
16 years 21 days ago
Programming Language Design and Analysis Motivated by Hardware Evolution
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
Alan Mycroft
ESEM
2010
ACM
15 years 6 months ago
Object oriented design pattern decay: a taxonomy
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...
Travis Schanz, Clemente Izurieta