Sciweavers

273 search results - page 30 / 55
» Automated Composition of Hardware Components
Sort
View
ACSD
2006
IEEE
109views Hardware» more  ACSD 2006»
15 years 1 months ago
Synthesis of Synchronous Interfaces
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
Purandar Bhaduri, S. Ramesh
DSD
2009
IEEE
124views Hardware» more  DSD 2009»
15 years 6 months ago
Network-on-Chip Architecture Exploration Framework
— In this paper, we present a novel framework for the automated generation of Network-on-Chips (NoC) architectures, that enables architecture exploration and optimization. The au...
Timo Schönwald, Jochen Zimmermann, Oliver Bri...
ACSD
2009
IEEE
106views Hardware» more  ACSD 2009»
15 years 2 months ago
Specification Enforcing Refinement for Convertibility Verification
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
Partha S. Roop, Alain Girault, Roopak Sinha, Grego...
LPNMR
2007
Springer
15 years 6 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
SIGMETRICS
2008
ACM
129views Hardware» more  SIGMETRICS 2008»
14 years 11 months ago
Fine-grained energy profiling for power-aware application design
Significant opportunities for power optimization exist at application design stage and are not yet fully exploited by system and application designers. We describe the challenges ...
Aman Kansal, Feng Zhao