9842 search results - page 1478 / 1969 » Compositional timing analysis |
213
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
187
click to vote
COCOON
2006
Springer
15 years 10 months ago
2006
Springer
In a recent article, Nakhleh, Ringe and Warnow introduced perfect phylogenetic networks--a model of language evolution where languages do not evolve via clean speciation--and form...
205
click to vote
DCOSS
2006
Springer
15 years 10 months ago
2006
Springer
We consider in-network processing via local message passing. The considered setting involves a set of sensors each of which can communicate with a subset of other sensors. There is...
218
click to vote
ADBIS
1995
Springer
15 years 10 months ago
1995
Springer
Crash recovery in database systems aims to provide an acceptable level of protection from failure at a given engineering cost. A large number of recovery mechanisms are known, and...
212
click to vote
TIC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...