2470 search results - page 243 / 494 » Liveness-Preserving Simulation Relations |
173
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
— This paper describes and evaluates a probabilistic packet scheduling (PPS) algorithm for providing different levels of service to TCP flows. With our approach, each router de...
152
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
162
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
Query optimization is an integral part of relational database management systems. One important task in query optimization is selectivity estimation, that is, given a query P, we ...
164
click to vote
PARA
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
198
click to vote
TLCA
1997
Springer
15 years 10 months ago
1997
Springer
We present new sound and complete axiomatizations of type equality and subtype inequality for a first-order type language with regular recursive types. The rules are motivated by ...