7080 search results - page 318 / 1416 » Designing High Integrity Systems Using Aspects |
155
Voted
RTS
2006
15 years 3 months ago
2006
Abstract The increasing complexity of heterogeneous systems-on-chip, SoC, and distributed embedded systems makes system optimization and exploration a challenging task. Ideally, a ...
130
click to vote
AOSE
2001
Springer
15 years 8 months ago
2001
Springer
A key challenge for agent-oriented software engineering is to develop and implement open systems composed of interacting autonomous agents. On the one hand, there is a need for pe...
126
Voted
ISPD
2006
ACM
15 years 9 months ago
2006
ACM
The existing decoupling capacitance optimization approaches meet constraints on input impedance for package. In this paper, we show that using impedance as constraints leads to la...
113
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
130
Voted
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...