686 search results - page 104 / 138 » Statistical Timing Analysis with Extended Pseudo-Canonical T... |
134
click to vote
DAWAK
2011
Springer
13 years 9 months ago
2011
Springer
In recent years, there has been a large increase in the amount of spatial data obtained from remote sensing, GPS receivers, communication terminals and other domains. Data warehous...
TWC
2008
14 years 9 months ago
2008
Abstract--In this paper, the flow-level performance of opportunistic scheduling in orthogonal frequency division multiplexing (OFDM) networks is studied. The analysis accounts for ...
DNA
2004
Springer
15 years 3 months ago
2004
Springer
DNA self-assembly is emerging as a key paradigm for nano-technology, nano-computation, and several related disciplines. In nature, DNA self-assembly is often equipped with explicit...
103
click to vote
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
74
Voted
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
An important aspect in the development of dependable software is to decide where to locate mechanisms for efficient error detection and recovery. We present a comparison between ...