4350 search results - page 814 / 870 » Case studies for contract-based systems |
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Can implicit interaction with a computer easily drive useful interface improvements in physical world settings? This paper presents a case study presenting multiple such context-a...
HPCA
2006
IEEE
14 years 9 months ago
2006
IEEE
Computer systems increasingly rely on dynamic, phasebased system management techniques, in which system hardware and software parameters may be altered or tuned at runtime for dif...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
The aim of our study is to investigate systems for supporting remote instruction via a mobile robot. In the real world, instructions are typically given through words and body ori...
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
PPOPP
2010
ACM
14 years 3 months ago
2010
ACM
To fully exploit multicore processors, applications are expected to provide a large degree of thread-level parallelism. While adequate for low core counts and their typical worklo...