12333 search results - page 2095 / 2467 » System Level Modelling for Hardware Software Systems |
177
click to vote
VLSI
2010
Springer
15 years 1 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
179
click to vote
IUI
2012
ACM
14 years 2 months ago
2012
ACM
We demonstrate our airwriting interface for mobile handsfree text entry. The interface enables a user to input text into a computer by writing in the air like on an imaginary blac...
182
Voted
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...
201
click to vote
CLEF
2007
Springer
16 years 18 days ago
2007
Springer
In this paper, we propose a pseudo-relevance feedback method to deal with the photographic retrieval and medical retrieval tasks of ImageCLEF 2007. The aim of our participation to...
221
click to vote
JCST
2010
15 years 1 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...