3387 search results - page 613 / 678 » Model-Checking for Real-Time Systems |
NORDICHI
2006
ACM
14 years 2 months ago
2006
ACM
In context photography, sensors gather real-time context information, which visually affects a photograph as it is taken. We have implemented a prototype running on standard camer...
VRST
2006
ACM
14 years 2 months ago
2006
ACM
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...
ICCV
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. Accurate head tilt detection has a large potential to aid people with disabilities in the use of human-computer interfaces and provide universal access to communication s...
ISCAS
2005
IEEE
14 years 2 months ago
2005
IEEE
— There is a growing interest in developing low cost, low power, highly integrated biosensor systems to characterize individual cells for applications such as cell analysis, drug...
RTAS
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider the problem of energy minimization for periodic preemptive hard real-time tasks that are scheduled on an identical multiprocessor platform with dynamic voltage scaling...