273 search results - page 10 / 55 » Automated Composition of Hardware Components |
129
click to vote
WOSP
2004
ACM
15 years 11 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
156
click to vote
ATVA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
139
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
131
click to vote
HVC
2007
Springer
15 years 11 months ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
108
click to vote
IEAAIE
1999
Springer
15 years 9 months ago
1999
Springer
This paper introduces a new approach in the debugging of hardware designs. The design is given as a VHDL program and converted in a component connection model. The conversion is si...