6276 search results - page 1217 / 1256 » Exploring an information-based approach to computation and c... |
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
ICPR
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper we present a new architecture for face recognition with a single reference image, which completely separates the training process from the recognition process. In th...
TRIDENTCOM
2010
IEEE
13 years 6 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
IEEEPACT
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current...
CGF
2010
13 years 6 months ago
2010
Procedural noise functions are widely used in Computer Graphics, from off-line rendering in movie production to interactive video games. The ability to add complex and intricate d...