2278 search results - page 370 / 456 » Specification Techniques for Automatic Performance Analysis ... |
FM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
FPL
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present a full-system reconfigurable computing simulation platform intended to promote innovative new research in reconfigurable computing. Currently, reconfigur...
113
click to vote
CRIWG
2004
15 years 22 days ago
2004
Awareness is an essential requirement in collaborative activities. This paper presents Ariane, a generic and reusable awareness infrastructure, independent of a specific applicatio...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Emerging 3D chips stacking and MEMS/Sensors packaging technologies are using DRIE (Deep Reactive Ion Etching) to etch Through-Silicon Via (TSV) for advanced interconnections. The ...
105
click to vote
ESEM
2010
ACM
14 years 9 months ago
2010
ACM
The power and the generality of the findings obtained through empirical studies are bounded by the number and type of participating subjects. In software engineering, obtaining a ...