Sciweavers

2262 search results - page 261 / 453
» Points with large quadrant-depth
Sort
View
TAP
2009
Springer
178views Hardware» more  TAP 2009»
16 years 1 months ago
Dynamic Symbolic Execution for Testing Distributed Objects
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
Andreas Griesmayer, Bernhard K. Aichernig, Einar B...
ASPDAC
2009
ACM
127views Hardware» more  ASPDAC 2009»
16 years 1 months ago
Timing driven power gating in high-level synthesis
- The power gating technique is useful in reducing standby leakage current, but it increases the gate delay. For a functional unit, its maximum allowable delay (for a target clock ...
Shih-Hsu Huang, Chun-Hua Cheng
JTRES
2009
ACM
16 years 1 months ago
Avoiding unbounded priority inversion in barrier protocols using gang priority management
Large real-time software systems such as real-time Java virtual machines often use barrier protocols, which work for a dynamically varying number of threads without using centrali...
Harald Röck, Joshua S. Auerbach, Christoph M....
FGR
2008
IEEE
299views Biometrics» more  FGR 2008»
16 years 1 months ago
Face recognition with occlusions in the training and testing sets
Partial occlusions in face images pose a great problem for most face recognition algorithms. Several solutions to this problem have been proposed over the years – ranging from d...
Hongjun Jia, Aleix M. Martínez
FGR
2008
IEEE
195views Biometrics» more  FGR 2008»
16 years 1 months ago
Regularized active shape model for shape alignment
Active shape model (ASM) statistically represents a shape by a set of well-defined landmark points and models object variations using principal component analysis (PCA). However, ...
Ran He, Zhen Lei, Xiaotong Yuan, Stan Z. Li