921 search results - page 168 / 185 » On Interleaving in Timed Automata |
103
click to vote
HIPC
2009
Springer
14 years 9 months ago
2009
Springer
Traditional performance analysis techniques are performed after a parallel program has completed. In this paper, we describe an online method for continuously monitoring the perfor...
107
click to vote
ICCAD
2009
IEEE
14 years 9 months ago
2009
IEEE
Modern circuits become harder to route with the ever decreasing design features. Previous routability-driven placement techniques are usually tightly coupled with the underlying p...
116
click to vote
IACR
2011
13 years 11 months ago
2011
We consider the question of how to store a value secretly on devices that continually leak information about their internal state to an external attacker. If the secret value is s...
161
click to vote
RECOMB
2012
Springer
13 years 2 months ago
2012
Springer
Background: Paralog reduction, the loss of duplicate genes after whole genome duplication (WGD) is a pervasive process. Whether this loss proceeds gene by gene or through deletion...
210
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
We study the problem of answering queries posed on virtual views of XML documents, a problem commonly encountered when enforcing XML access control and integrating data. We approa...