AAAAAA
Results:
1-11
|
Results: 11
Authors:
RAO MRKK
KAPUR D
SHYAMASUNDAR RK
Citation: Mrkk. Rao et al., TRANSFORMATIONAL METHODOLOGY FOR PROVING TERMINATION OF LOGIC PROGRAMS, The journal of logic programming, 34(1), 1998, pp. 1-41
Authors:
KHEMKA A
SHYAMASUNDAR RK
Citation: A. Khemka et Rk. Shyamasundar, AN OPTIMAL MULTIPROCESSOR REAL-TIME SCHEDULING ALGORITHM, Journal of parallel and distributed computing, 43(1), 1997, pp. 37-45
Authors:
RAO MRKK
KAPUR D
SHYAMASUNDAR RK
Citation: Mrkk. Rao et al., PROVING TERMINATION OF GHC PROGRAMS, New generation computing, 15(3), 1997, pp. 293-338
Authors:
RAJA N
SHYAMASUNDAR RK
Citation: N. Raja et Rk. Shyamasundar, COMBINATORY FORMULATIONS OF CONCURRENT LANGUAGES, ACM transactions on programming languages and systems, 19(6), 1997, pp. 899-915
Authors:
SHYAMASUNDAR RK
Citation: Rk. Shyamasundar, SOFTWARE SPECIFICATION, VERIFICATION AND VALIDATION, Sadhana, 21, 1996, pp. 123-123
Authors:
BOUSSINOT F
RAMESH S
SHYAMASUNDAR RK
DESIMONE R
Citation: F. Boussinot et al., VALIDATION AND ANALYSIS OF THE FUTUREBUS ARBITRATION PROTOCOL - A CASE-STUDY, Sadhana, 21, 1996, pp. 185-211
Authors:
KAZEROUNI L
RAJAN B
SHYAMASUNDAR RK
Citation: L. Kazerouni et al., MAPPING LINEAR RECURRENCE EQUATIONS ONTO SYSTOLIC ARCHITECTURES, International journal of high speed computing, 8(3), 1996, pp. 229-270
Authors:
SHYAMASUNDAR RK
Citation: Rk. Shyamasundar, FOREWORD, Theoretical computer science, 151(2), 1995, pp. 295-295
Authors:
SHYAMASUNDAR RK
Citation: Rk. Shyamasundar, DESIGN OF SOFTWARE FOR SAFETY TERNS, Sadhana, 19, 1994, pp. 941-969
Authors:
LIU LYH
SHYAMASUNDAR RK
Citation: Lyh. Liu et Rk. Shyamasundar, RT-CDL - A DISTRIBUTED REAL-TIME DESIGN LANGUAGE AND ITS OPERATIONAL SEMANTICS, Computer languages, 20(1), 1994, pp. 1-23
Authors:
SHYAMASUNDAR RK
NARAYANA KT
PITASSI T
Citation: Rk. Shyamasundar et al., SEMANTICS OF NONDETERMINISTIC ASYNCHRONOUS BROADCAST NETWORKS, Information and computation, 104(2), 1993, pp. 215-252
Risultati:
1-11
|