AAAAAA

   
Results: 1-12 |
Results: 12
TIME-ADAPTIVE ALGORITHMS FOR SYNCHRONIZATION
Authors: ALUR R ATTIYA H TAUBENFELD G
Citation: R. Alur et al., TIME-ADAPTIVE ALGORITHMS FOR SYNCHRONIZATION, SIAM journal on computing, 26(2), 1997, pp. 539-556
THE BENEFITS OF RELAXING PUNCTUALITY
Authors: ALUR R FEDER T HENZINGER TA
Citation: R. Alur et al., THE BENEFITS OF RELAXING PUNCTUALITY, Journal of the ACM, 43(1), 1996, pp. 116-146
CONTENTION-FREE COMPLEXITY OF SHARED-MEMORY ALGORITHMS
Authors: ALUR R TAUBENFELD G
Citation: R. Alur et G. Taubenfeld, CONTENTION-FREE COMPLEXITY OF SHARED-MEMORY ALGORITHMS, Information and computation, 126(1), 1996, pp. 62-73
STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH
Authors: CLEAVELAND R SMOLKA SA ALUR R BAETEN J BERGSTRA JA BEST E DENICOLA R GILL H GORRIERI R GOUDA MG GROOTE JF HENZINGER TA HOARE CAR LUGINBUHL D MEYER A MILLER D MISRA J MOLLER F MONTANARI U PNUELI A PRASAD S PRATT VR SIFAKIS J SMOLKACHAIR SA STEFFEN B THOMSEN B VAANDRAGER F VARDI M WOLPER P
Citation: R. Cleaveland et al., STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH, ACM computing surveys, 28(4), 1996, pp. 607-625
FAST TIMING-BASED ALGORITHMS
Authors: ALUR R TAUBENFELD G
Citation: R. Alur et G. Taubenfeld, FAST TIMING-BASED ALGORITHMS, Distributed computing, 10(1), 1996, pp. 1-10
AUTOMATIC SYMBOLIC VERIFICATION OF EMBEDDED SYSTEMS
Authors: ALUR R HENZINGER TA HO PH
Citation: R. Alur et al., AUTOMATIC SYMBOLIC VERIFICATION OF EMBEDDED SYSTEMS, IEEE transactions on software engineering, 22(3), 1996, pp. 181-201
TIMING VERIFICATION BY SUCCESSIVE APPROXIMATION
Authors: ALUR R ITAI A KURSHAN RP YANNAKAKIS M
Citation: R. Alur et al., TIMING VERIFICATION BY SUCCESSIVE APPROXIMATION, Information and computation, 118(1), 1995, pp. 142-157
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
A THEORY OF TIMED AUTOMATA
Authors: ALUR R DILL DL
Citation: R. Alur et Dl. Dill, A THEORY OF TIMED AUTOMATA, Theoretical computer science, 126(2), 1994, pp. 183-235
A REALLY TEMPORAL LOGIC
Authors: ALUR R HENZINGER TA
Citation: R. Alur et Ta. Henzinger, A REALLY TEMPORAL LOGIC, Journal of the Association for Computing Machinery, 41(1), 1994, pp. 181-204
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
REAL-TIME LOGICS - COMPLEXITY AND EXPRESSIVENESS
Authors: ALUR R HENZINGER TA
Citation: R. Alur et Ta. Henzinger, REAL-TIME LOGICS - COMPLEXITY AND EXPRESSIVENESS, Information and computation, 104(1), 1993, pp. 35-77
Risultati: 1-12 |