66 search results - page 3 / 14 » The Conservation Theorem revisited |
SIAMDM
2010
13 years 2 months ago
2010
Thomassen (J. Combin. Theory Ser. B, 62 (1994), pp. 180
NETWORKING
2007
13 years 8 months ago
2007
We re-examine the two reasons for the conservative 1-second Minimum TCP-RTO to protect against spurious timeouts: i) the OS clock granularity and ii) the Delayed ACKs. We find tha...
ENTCS
2006
13 years 7 months ago
2006
We present a proof technique in -calculus that can facilitate inductive reasoning on -terms by separating certain -developments from other -reductions. We give proofs based on thi...
ISMVL
2010
IEEE
13 years 9 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
ACSD
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper proposes a new approach for the hazard checking of timed asynchronous circuits. Previous papers proposed either exact algorithms, which suffer from statespace explosion...