7886 search results - page 124 / 1578 » An evaluation of bipartitioning techniques |
146
click to vote
IPPS
2006
IEEE
16 years 1 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...
213
click to vote
NDSS
2006
IEEE
16 years 1 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...
192
click to vote
AVSS
2005
IEEE
16 years 19 days 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...
257
click to vote
CHARME
2005
Springer
16 years 16 days 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...
209
click to vote
PERVASIVE
2005
Springer
16 years 15 days 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...