861 search results - page 149 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
ICMI
2003
Springer
15 years 5 months ago
2003
Springer
We present a novel multimodal interface which permits users to draw or paint using coordinated gestures of hand and mouth. A headworn camera captures an image of the mouth and the...
113
click to vote
CCS
2008
ACM
15 years 1 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
We present a general scheme for virtualizing main memory errorcorrection mechanisms, which map redundant information needed to correct errors into the memory namespace itself. We ...
PLDI
2010
ACM
15 years 4 months ago
2010
ACM
This paper presents a novel optimizing compiler for general purpose computation on graphics processing units (GPGPU). It addresses two major challenges of developing high performa...
119
click to vote
SIGSOFT
2007
ACM
16 years 14 days ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...