3792 search results - page 564 / 759 » Techniques for Trusted Software Engineering |
154
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
173
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
174
click to vote
AVI
2010
15 years 8 months ago
2010
In this paper, we present an interactive visualization method for set-valued attributes that maintains the advantages of item-oriented views and interactions found in parallel mul...
175
click to vote
AVI
2010
15 years 8 months ago
2010
We study the effectiveness of stereoscopy and smooth motion as 3D cues for medical interpretation of vascular structures as obtained by 3D medical imaging techniques. We designed ...
181
click to vote
AVI
2004
15 years 8 months ago
2004
Rapid Serial Visual Presentation (RSVP) is a technique that allows images to be presented sequentially in the time-domain, thereby offering an alternative to the conventional conc...