10159 search results - page 1956 / 2032 » System Design Validation Using Formal Models |
141
Voted
LCTRTS
2005
Springer
15 years 7 months ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
104
Voted
CHI
2006
ACM
16 years 2 months ago
2006
ACM
The paper presents our approach for human-machine interaction with an anthropomorphic mechanical percussionist that can listen to live players, analyze perceptual musical aspects ...
160
Voted
VEE
2009
ACM
15 years 9 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...
127
Voted
RTAS
2006
IEEE
15 years 8 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
135
Voted
MIR
2005
ACM
15 years 7 months ago
2005
ACM
In this paper, we propose a novel system, named Video Booklet, which enables efficient and natural personal video browsing and searching. In the system, firstly representative th...