1584 search results - page 110 / 317 » Making priors a priority |
154
Voted
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
This paper describes a new tool for introducing computer graphics and multimedia applications into first year, called QuickDraw, and our experience using it. QuickDraw provides an...
138
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
Recently proposed novel interaction techniques such as cursor jumping [1] and target expansion for tiled arrangements [13] are predicated on an ability to effectively estimate the...
163
click to vote
VLSID
2005
IEEE
16 years 6 months ago
2005
IEEE
An accurate and efficient stacking effect macro-model for leakage power in sub-100nm circuits is presented in this paper. Leakage power, including subthreshold leakage power and ga...
149
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
Concurrency is pervasive in large systems. Unexpected interference among threads often results in "Heisenbugs" that are extremely difficult to reproduce and eliminate. W...
154
click to vote
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...