Sciweavers

1163 search results - page 150 / 233
» Concurrent Subspaces Analysis
Sort
View
PAMI
2007
217views more  PAMI 2007»
15 years 3 months ago
Discriminative Learning and Recognition of Image Set Classes Using Canonical Correlations
—We address the problem of comparing sets of images for object recognition, where the sets may represent variations in an object’s appearance due to changing camera pose and li...
Tae-Kyun Kim, Josef Kittler, Roberto Cipolla
KBSE
2005
IEEE
15 years 9 months ago
Optimized run-time race detection and atomicity checking using partial discovered types
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott...
CBSE
2005
Springer
15 years 9 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
PPDP
2001
Springer
15 years 8 months ago
Trust in the Pi-Calculus
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
Mark Hepburn, David Wright
DATE
1998
IEEE
100views Hardware» more  DATE 1998»
15 years 8 months ago
Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs
After write operations, BIST schemes for RAMs relying on signature analysis must compress the entire memory contents to update the reference signature. This paper introduces a new...
Vyacheslav N. Yarmolik, Sybille Hellebrand, Hans-J...