1629 search results - page 260 / 326 » Infeasible Code Detection |
OSDI
2000
ACM
13 years 11 months ago
2000
ACM
Knit is a new component definition and linking language for systems code. Knit helps make C code more understandable and reusable by third parties, helps eliminate much of the per...
IVC
2006
13 years 10 months ago
2006
We present a systematic comparison of machine learning methods applied to the problem of fully automatic recognition of facial expressions, including AdaBoost, support vector mach...
TCOM
2008
13 years 10 months ago
2008
In this paper, two novel techniques are proposed to reduce the average optical power in wireless optical multiplesubcarrier modulated (MSM) systems, namely in-band trellis coding a...
RV
2010
Springer
13 years 8 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
ISCA
2012
IEEE
12 years 19 days ago
2012
IEEE
Memory system reliability is a serious and growing concern in modern servers. Existing chipkill-level memory protection mechanisms suffer from several drawbacks. They activate a l...