Sciweavers

273 search results - page 17 / 55
» Automated Composition of Hardware Components
Sort
View
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
13 years 11 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
COMPSAC
2007
IEEE
13 years 11 months ago
Unified Property Specification for Hardware/Software Co-Verification
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
Fei Xie, Huaiyu Liu
AAAI
1994
13 years 8 months ago
Automated Accompaniment of Musical Ensembles
' This paper describes a computer accompaniment system capable of providing musical accompaniment for an ensemble of performers. The system tracks the performance of each musi...
Lorin Grubb, Roger B. Dannenberg
EUROMICRO
2009
IEEE
14 years 2 months ago
Bridging the Component-Based and Service-Oriented Worlds
Abstract—The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable ...
Karel Masek, Petr Hnetynka, Tomás Bures
IWSOC
2003
IEEE
137views Hardware» more  IWSOC 2003»
14 years 21 days ago
Hardware Partitioning Software for Dynamically Reconfigurable SoC Design
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
Philippe Brunet, Camel Tanougast, Yves Berviller, ...