Sciweavers

853 search results - page 43 / 171
» Are many small sets explicitly small
Sort
View
ICCD
2006
IEEE
97views Hardware» more  ICCD 2006»
16 years 3 months ago
Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Sa...
SIGMETRICS
2008
ACM
15 years 6 months ago
Scheduling despite inexact job-size information
Motivated by the optimality of Shortest Remaining Processing Time (SRPT) for mean response time, in recent years many computer systems have used the heuristic of "favoring sm...
Adam Wierman, Misja Nuyens
CVPR
1997
IEEE
16 years 8 months ago
Learning Parameterized Models of Image Motion
A framework for learning parameterized models of optical flow from image sequences is presented. A class of motions is represented by a set of orthogonal basis flow fields that ar...
Michael J. Black, Yaser Yacoob, Allan D. Jepson, D...
ISBRA
2009
Springer
16 years 1 months ago
Practical Quality Assessment of Microarray Data by Simulation of Differential Gene Expression
There are many methods for assessing the quality of microarray data, but little guidance regarding what to do when defective data is identified. Depending on the scientific questio...
Brian E. Howard, Beate Sick, Steffen Heber
POPL
1999
ACM
15 years 10 months ago
A Core Calculus of Dependency
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
Martín Abadi, Anindya Banerjee, Nevin Heint...