2687 search results - page 396 / 538 » Formal Analysis of PKCS |
166
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Multitasked real-time systems often employ caches to boost performance. However the unpredictable dynamic behavior of caches makes schedulability analysis of such systems difficul...
244
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Several tools have been developed to explore and search Gene Ontology (GO) databases allowing efficient GO enrichment analysis and GO tree visualization. Nevertheless,...
164
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
186
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Cross-modal analysis offers information beyond that extracted from individual modalities. Consider a camcorder having a single microphone in a cocktail-party: it captures several ...
291
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
Given a set of multi-dimensional points, the skyline contains the best points according to any preference function that is monotone on all axes. In practice, applications that req...