10910 search results - page 82 / 2182 » Input modeling using a computer algebra system |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
Using a stylus on a tablet computer to acquire small targets can be challenging. In this paper we present pointing lenses ? interaction techniques that help users acquire and sele...
LCPC
2004
Springer
15 years 3 months ago
2004
Springer
Previous work shows the possibility of predicting the cache miss rate (CMR) for all inputs of a program. However, most optimization techniques need to know more than the miss rate ...
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
MM
2006
ACM
15 years 3 months ago
2006
ACM
Growing awareness of the possible over-dominance of the visual modality in the field of interactive media and of the existence of untapped dimensions of sound has led many develop...
ISPA
2004
Springer
15 years 3 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...