4520 search results - page 714 / 904 » Algebraic Techniques for Timed Systems |
196
click to vote
CBMS
2009
IEEE
16 years 1 months ago
2009
IEEE
Assessment of the (Multi) Similarity among a set of protein structures is achieved through an ensemble of protein structure comparison methods/algorithms. This leads to the genera...
190
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
It is known that temperature gradients and thermal hotspots affect the reliability of microprocessors. Temperature is also an important constraint when maximizing the performance...
175
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Multi-core processors have changed the conventional hardware structure and require a rethinking of system scheduling and resource management to utilize them efficiently. However, ...
155
click to vote
NOSSDAV
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the problem of securing the delivery of scalable video streams so that receivers can ensure the authenticity (originality and integrity) of the video. Our focus is ...
163
click to vote
PET
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Face recognition is increasingly deployed as a means to unobtrusively verify the identity of people. The widespread use of biometrics raises important privacy concerns, i...