2266 search results - page 203 / 454 » Generalizing parametric timing analysis |
135
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
As feature sizes shrink, transient failures of on-chip network links become a critical problem. At the same time, many applications require guarantees on both message arrival prob...
121
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
123
click to vote
RECOMB
2007
Springer
16 years 3 months ago
2007
Springer
A centromere is a special region in the chromosome that plays a vital role during cell division. Every new chromosome created by a genome rearrangement event must have a centromere...
143
click to vote
SASN
2003
ACM
15 years 8 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
110
Voted
DAS
2010
Springer
15 years 7 months ago
2010
Springer
This paper addresses how to quickly recognize a character pattern using a lot of case examples without learning. Here without learning means just finding the most similar example...