441 search results - page 54 / 89 » A Method for Proving Observational Equivalence |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper concerns studying dissipativity of a system with supply rates that depend on one or more parameters. We show that suitable choice of supply rate turns out to make di...
ICNP
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
RTSS
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper, we derive a statistical delay guarantee of the generalized Virtual Clock scheduling algorithm. We define the concept of an equivalent fluid and packet source and pr...
TAPSOFT
1991
Springer
14 years 11 days ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
PLANX
2007
13 years 10 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...