5638 search results - page 242 / 1128 » On presence |
177
click to vote
HIPC
1999
Springer
15 years 11 months ago
1999
Springer
An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented that is based on a semi-Markov model for the window ...
158
click to vote
DFT
1998
IEEE
15 years 11 months ago
1998
IEEE
In the presence of multiple delay faults, automated diagnostic procedures that make a single fault assumption may give an incorrect diagnosis. In this paper, a systematic approach...
152
click to vote
AISC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...
190
click to vote
DL
1998
Springer
15 years 11 months ago
1998
Springer
We propose an architecture for Digital Library Repositories that assures long-term archival storage of digital objects. The architecture is formed by a federation of independent b...
168
click to vote
FPGA
1998
ACM
15 years 11 months ago
1998
ACM
In this paper, we present a new retiming-based technology mapping algorithm for look-up table-based eld programmable gate arrays. The algorithm is based on a novel iterative proce...