7886 search results - page 124 / 1578 » An evaluation of bipartitioning techniques |
IPPS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents the alternatives available to support threadprivate data in OpenMP and evaluates them. We show how current compilation systems rely on custom techniques for im...
NDSS
2006
IEEE
14 years 3 months ago
2006
IEEE
The custom, ad hoc nature of web applications makes learning-based anomaly detection systems a suitable approach to provide early warning about the exploitation of novel vulnerabi...
AVSS
2005
IEEE
14 years 3 months ago
2005
IEEE
In this paper, a hybrid technique for face detection in color images is presented. The proposed technique combines three analysis models, namely skin detection, automatic eye loca...
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
PERVASIVE
2005
Springer
14 years 3 months ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...