3284 search results - page 254 / 657 » On the modularity of feature interactions |
163
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
Abstract-- The increasing wire delay constraints in deep submicron VLSI designs have led to the emergence of scalable and modular Network-on-Chip (NoC) architectures. As the power ...
143
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
d Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3 , Daniel Neider2 , and David R. Piegdon2 1 LSV, ENS Cachan, CNRS, 2 RWTH Aachen University, 3 ...
161
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
166
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...
177
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...