31387 search results - page 5981 / 6278 » Abstracting abstract machines |
192
click to vote
CP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
129
click to vote
GI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: Funktionsnetze geh¨oren w¨ahrend des Systementwurfs im modellgetriebenen Top-Down-Entwicklungsprozess von Fahrzeugsoftware zu den ersten Artefakten; sie werden aus den ...
193
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract--This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. Wireless multimedia terminals are among the key driver...
188
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract. This work addresses a class of total-variation based multilabeling problems over a spatially continuous image domain, where the data fidelity term can be any bounded fun...
193
click to vote
VDA
2010
15 years 9 months ago
2010
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...