468 search results - page 79 / 94 » System Level Fixed-Point Design Based on an Interpolative Ap... |
108
click to vote
DAC
2004
ACM
16 years 19 days ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
112
Voted
AOSD
2009
ACM
15 years 6 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
106
click to vote
EUROMICRO
2009
IEEE
15 years 6 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
FASE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...