5964 search results - page 949 / 1193 » A theory of speculative computation |
174
click to vote
INFOCOM
2003
IEEE
16 years 4 hour ago
2003
IEEE
-We solve the problem of time-optimal network queue control: what are the input data rates that make network queue sizes converge to their ideal size in the least possible time aft...
163
click to vote
INFOCOM
2003
IEEE
16 years 4 hour ago
2003
IEEE
— We propose a new framework for providing robust location detection in emergency response systems, based on the theory of identifying codes. The key idea of this approach is to ...
183
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
184
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
198
click to vote
RTSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, whi...