AAAAAA

   
Results: 1-7 |
Results: 7
MARKOV DECISION-PROCESSES AND REGULAR EVENTS
Authors: COURCOUBETIS C YANNAKAKIS M
Citation: C. Courcoubetis et M. Yannakakis, MARKOV DECISION-PROCESSES AND REGULAR EVENTS, IEEE transactions on automatic control, 43(10), 1998, pp. 1399-1418
BUFFER OVERFLOW ASYMPTOTICS FOR A BUFFER HANDLING MANY TRAFFIC SOURCES
Authors: COURCOUBETIS C WEBER R
Citation: C. Courcoubetis et R. Weber, BUFFER OVERFLOW ASYMPTOTICS FOR A BUFFER HANDLING MANY TRAFFIC SOURCES, Journal of Applied Probability, 33(3), 1996, pp. 886-903
THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS
Authors: ALUR R COURCOUBETIS C HALBWACHS N HENZINGER TA HO PH NICOLLIN X OLIVERO A SIFAKIS J YOVINE S
Citation: R. Alur et al., THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS, Theoretical computer science, 138(1), 1995, pp. 3-34
ADMISSION CONTROL AND ROUTING IN ATM NETWORKS USING INFERENCES FROM MEASURED BUFFER OCCUPANCY
Authors: COURCOUBETIS C KESIDIS G RIDDER A WALRAND J WEBER R
Citation: C. Courcoubetis et al., ADMISSION CONTROL AND ROUTING IN ATM NETWORKS USING INFERENCES FROM MEASURED BUFFER OCCUPANCY, IEEE transactions on communications, 43(2-4), 1995, pp. 1778-1784
THE COMPLEXITY OF PROBABILISTIC VERIFICATION
Authors: COURCOUBETIS C YANNAKAKIS M
Citation: C. Courcoubetis et M. Yannakakis, THE COMPLEXITY OF PROBABILISTIC VERIFICATION, Journal of the Association for Computing Machinery, 42(4), 1995, pp. 857-907
STABILITY OF FLEXIBLE MANUFACTURING SYSTEMS
Authors: COURCOUBETIS C WEBER R
Citation: C. Courcoubetis et R. Weber, STABILITY OF FLEXIBLE MANUFACTURING SYSTEMS, Operations research, 42(5), 1994, pp. 947-957
MODEL-CHECKING IN DENSE REAL-TIME
Authors: ALUR R COURCOUBETIS C DILL D
Citation: R. Alur et al., MODEL-CHECKING IN DENSE REAL-TIME, Information and computation, 104(1), 1993, pp. 2-34
Risultati: 1-7 |