SHYAMASUNDAR, R.K.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

A methodology for proving termination of logic programs

Bal Wang, R.K. Shyamasundar

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 2.31 MB

english, 1994

52

Performance driven distributed scheduling of parallel hybrid computations

Ankur Narang, Rudrapatna K. Shyamasundar

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 1.05 MB

english, 2011

53

[Lecture Notes in Computer Science] Advances in Computing Science — ASIAN'97 Volume 1345 || Calculus of classical proofs I

Shyamasundar, R. K., Ueda, K.

Year:

1997

Language:

english

File:

PDF, 1.09 MB

english, 1997

54

Beneficial Effects of Humidified, Warmed Carbon Dioxide Insufflation during Laparoscopic Bariatric Surgery: a Randomized Clinical Trial

Richard H Savel, Shyamasundar Balasubramanya, Samy Lasheen, Teimuraz Gaprindashvili, Eddie Arabov, Rafael M Fazylov, Richard S Lazzaro, Jerzy M Macura

Journal:

Obesity Surgery

Year:

2005

Language:

english

File:

PDF, 1.39 MB

english, 2005

55

A sentence generator for a compiler for PT, a pascal subset

V. Murali, R. K. Shyamasundar

Journal:

Software: Practice and Experience

Year:

1983

Language:

english

File:

PDF, 672 KB

english, 1983

56

Semantics of Nondeterministic Asynchronous Broadcast Networks

R.K. Shyamasundar, K.T. Narayana, T. Pitassi

Journal:

Information and Computation

Year:

1993

File:

PDF, 1.44 MB

1993

57

Foreword

R K Shyamasundar

Journal:

Year:

1996

Language:

english

File:

PDF, 59 KB

english, 1996

58

Validation and analysis of the futurebus arbitration protocol: A case study

F Boussinot, S Ramesh, RK Shyamasundar, R De Simone

Journal:

Year:

1996

Language:

english

File:

PDF, 1.15 MB

english, 1996

59

Modelling real-time systems: Issues and challenges

R K Shyamasundar, S Ramesh

Journal:

Year:

1992

Language:

english

File:

PDF, 1.60 MB

english, 1992

60

Compositional priority specification in real-time distributed systems

R K Shyamasundar, L Y Liu

Journal:

Year:

1992

Language:

english

File:

PDF, 1.02 MB

english, 1992

61

Foreword

Journal:

Year:

1992

Language:

english

File:

PDF, 158 KB

english, 1992

62

On the covering of syntax-directed translations for context-free grammars

R K Shyamasundar

Journal:

Proceedings Mathematical Sciences

Year:

1979

Language:

english

File:

PDF, 821 KB

english, 1979

63

A note on linear precedence functions

R.K. Shyamasundar

Journal:

Information Processing Letters

Year:

1976

Language:

english

File:

PDF, 81 KB

english, 1976

64

An implementation of P and V

Eric C.R. Hehner, R.K. Shyamasundar

Journal:

Information Processing Letters

Year:

1981

Language:

english

File:

PDF, 414 KB

english, 1981

65

Exception handling in RT-CDL

Leo Y. Liu, R.K. Shyamasundar

Journal:

Computer Languages

Year:

1990

Language:

english

File:

PDF, 1.14 MB

english, 1990

66

RT-CDL: A distributed real-time design language and its operational semantics

Leo YuHsiang Liu, R.K Shyamasundar

Journal:

Computer Languages

Year:

1994

Language:

english

File:

PDF, 1.60 MB

english, 1994

67

Compositional semantics for real-time distributed computing

R. Koymans, R.K. Shyamasundar, W.P. de Roever, R. Gerth, S. Arun-Kumar

Journal:

Information and Computation

Year:

1988

Language:

english

File:

PDF, 2.42 MB

english, 1988

68

The structure generating function of some families of languages

Werner Kuich, R.K. Shyamasundar

Journal:

Information and Control

Year:

1976

Language:

english

File:

PDF, 273 KB

english, 1976

69

Acylated arachins. : Physicochemical properties

R. Shyamasundar, Dr .D. Rajagopal Rao

Journal:

Chemical Biology & Drug Design

Year:

1984

Language:

english

File:

PDF, 433 KB

english, 1984

70

From pseudocholinesterase to human immunodeficiency virus

K. Madhavankutty, K. Shyamasundar, W. Andrews

Journal:

Medical Hypotheses

Year:

1995

Language:

english

File:

PDF, 169 KB

english, 1995

71

Language constructs for specifying concurrency in CDL

Shyamasundar, R.K., Thatcher, J.W.

Journal:

IEEE Transactions on Software Engineering

Year:

1989

Language:

english

File:

PDF, 1.66 MB

english, 1989

72

Static analysis of real-time distributed systems

Liu, L.Y., Shyamasundar, R.K.

Journal:

IEEE Transactions on Software Engineering

Year:

1990

Language:

english

File:

PDF, 1.62 MB

english, 1990

73

Circular dichroism of type 13 β-turn in linear tripeptides containing L-proline and D-alanine

V.S. Ananthanarayanan, Nagaraj Shyamasundar

Journal:

Biochemical and Biophysical Research Communications

Year:

1981

Language:

english

File:

PDF, 369 KB

english, 1981

74

[Lecture Notes in Computer Science] Foundations of Software Technology and Theoretical Computer Science Volume 181 || A distributed algorithm for detecting communication deadlocks

Joseph, Mathai, Shyamasundar, Rudrapatna

Year:

1984

Language:

english

File:

PDF, 929 KB

english, 1984

75

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7730 || POSTER: A New Approach to Impairment-Aware Static RWA in Optical WDM Networks

Frey, Davide, Raynal, Michel, Sarkar, Saswati, Shyamasundar, Rudrapatna K., Sinha, Prasun

Year:

2013

Language:

english

File:

PDF, 319 KB

english, 2013

76

Synthesis of the dihydrodiols and diol epoxides of benzo[e]pyrene and triphenylene

Harvey, Ronald G., Lee, Hong Mee, Shyamasundar, N.

Journal:

Journal of Organic Chemistry

Year:

1979

Language:

english

File:

PDF, 815 KB

english, 1979

77

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7730 || Exploiting Partial-Packet Information for Reactive Jamming Detection: Studies in UWSN Environment

Frey, Davide, Raynal, Michel, Sarkar, Saswati, Shyamasundar, Rudrapatna K., Sinha, Prasun

Year:

2013

Language:

english

File:

PDF, 447 KB

english, 2013

78

[Lecture Notes in Computer Science] Foundations of Software Technology and Theoretical Computer Science Volume 761 || Label-selective λ-calculus syntax and confluence

Shyamasundar, Rudrapatna K.

Year:

1993

Language:

english

File:

PDF, 1.02 MB

english, 1993

79

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Can we certify systems for freedom from malware

Kumar, N. V. Narendra, Shah, Harshit, Shyamasundar, R. K.

Year:

2010

Language:

english

File:

PDF, 109 KB

english, 2010

80

[Lecture Notes in Computer Science] Foundations of Software Technology and Theoretical Computer Science Volume 181 || Generic oracles

Joseph, Mathai, Shyamasundar, Rudrapatna

Year:

1984

File:

PDF, 15 KB

1984

81

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7730 || POSTER: Distributed Lagrangean Clustering Protocol

Frey, Davide, Raynal, Michel, Sarkar, Saswati, Shyamasundar, Rudrapatna K., Sinha, Prasun

Year:

2013

Language:

english

File:

PDF, 77 KB

english, 2013

82

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7730 ||

Frey, Davide, Raynal, Michel, Sarkar, Saswati, Shyamasundar, Rudrapatna K., Sinha, Prasun

Year:

2013

Language:

english

File:

PDF, 11.94 MB

english, 2013

83

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7730 || POSTER: A Secure and Efficient Cross Authentication Protocol in VANET Hierarchical Model

Frey, Davide, Raynal, Michel, Sarkar, Saswati, Shyamasundar, Rudrapatna K., Sinha, Prasun

Year:

2013

Language:

english

File:

PDF, 137 KB

english, 2013

84

[Lecture Notes in Computer Science] Advances in Computing Science — ASIAN'97 Volume 1345 || Hierarchical automata as model for statecharts

Shyamasundar, R. K., Ueda, K.

Year:

1997

Language:

english

File:

PDF, 1.16 MB

english, 1997

85

[Lecture Notes in Computer Science] Distributed Computing and Networking Volume 7730 || Parallel Scalar Multiplication on Elliptic Curves in Wireless Sensor Networks

Frey, Davide, Raynal, Michel, Sarkar, Saswati, Shyamasundar, Rudrapatna K., Sinha, Prasun

Year:

2013

Language:

english

File:

PDF, 267 KB

english, 2013

86

[IEEE 2011 IEEE 9th European Conference on Web Services (ECOWS) - Lugano, Switzerland (2011.09.14-2011.09.16)] 2011 IEEE Ninth European Conference on Web Services - SLA Monitor: A System for Dynamic Monitoring of Adaptive Web Services

Goel, Nihita, Kumar, N.V. Narendra, Shyamasundar, R.K.

Year:

2011

Language:

english

File:

PDF, 708 KB

english, 2011

87

[Lecture Notes in Computer Science] Foundations of Software Technology and Theoretical Computer Science Volume 181 || Logical specification and implementation

Joseph, Mathai, Shyamasundar, Rudrapatna

Year:

1984

Language:

english

File:

PDF, 861 KB

english, 1984

88

Post-order based routing & transport protocol for wireless sensor networks

Shekhar, Shashank, Mishra, Ranjeet, Ghosh, R.K., Shyamasundar, R.K.

Journal:

Pervasive and Mobile Computing

Year:

2014

Language:

english

File:

PDF, 863 KB

english, 2014

89

Isomeric phenols of benzo[e]pyrene

Lee, Hongmee, Shyamasundar, N., Harvey, Ronald G.

Journal:

Journal of Organic Chemistry

Year:

1981

Language:

english

File:

PDF, 979 KB

english, 1981

90

[IEEE Comput. Soc VLSI Design 2000. Thirteenth International Conference on VLSI Design - Calcutta, India (3-7 Jan. 2000)] VLSI Design 2000. Wireless and Digital Imaging in the Millennium. Proceedings of 13th International Conference on VLSI Design - Modelling VHDL in multiclock ESTEREL

Rajan, B., Shyamasundar, R.K.

Year:

2000

Language:

english

File:

PDF, 91 KB

english, 2000

91

[IEEE First Asia International Conference on Modelling & Simulation (AMS'07) - Phyket, Thailand (2007.03.27-2007.03.30)] First Asia International Conference on Modelling & Simulation (AMS'07) - Modeling Web Services with FSM Modules

Mohanty, Hrushikesha, Mulchandani, Jitesh, Chenthati, Deepak, Shyamasundar, R.K.

Year:

2007

Language:

english

File:

PDF, 520 KB

english, 2007

92

Lithium aluminum hydride reduction of peri-alkoxy-9,10-anthraquinones

Shyamasundar, Nagaraj, Caluwe, Paul

Journal:

Journal of Organic Chemistry

Year:

1981

Language:

english

File:

PDF, 870 KB

english, 1981

93

[IEEE 1994 International Conference on Parallel Processing Vol. 3 - North Carolina, USA (1994.8.15-1994.8.19)] 1994 International Conference on Parallel Processing Vol. 3 - Derivation of Systolic Programs

Kazerouni, L., Rajan, B., Shyamasundar, R.K.

Year:

1994

Language:

english

File:

PDF, 639 KB

english, 1994

94

Necessary and sufficient conditions for a power language to be deterministic

Shyamasundar, R. K.

Journal:

International Journal of Computer Mathematics

Year:

1975

Language:

english

File:

PDF, 327 KB

english, 1975

95

[IEEE IEEE International Conference on e-Business Engineering (ICEBE'07) - Hong Kong, China (2007.10.24-2007.10.26)] IEEE International Conference on e-Business Engineering (ICEBE'07) - Trust Assessment in Web Services: an Extension to jUDDI

Mohanty, Hrushikesha, Prasad, Kakarlamudi, Shyamasundar, R. K.

Year:

2007

Language:

english

File:

PDF, 532 KB

english, 2007

96

[IEEE 2012 26th IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) - Shanghai, China (2012.05.21-2012.05.25)] 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops & PhD Forum - A New Method of MHP Analysis for Languages with Dynamic Barriers

Joshi, Saurabh, Shyamasundar, R.K., Aggarwal, Sanjeev K.

Year:

2012

Language:

english

File:

PDF, 539 KB

english, 2012

97

[IEEE 2006 International Conference on Advanced Computing and Communications - Mangalore, India (2006.12.20-2006.12.23)] 2006 International Conference on Advanced Computing and Communications - Automatic Generation of BPEL and WSDL from FSM models of Web Services

Mohanty, Hrushikesha, Chenthati, Deepak, Vaddi, Supriya, Shyamasundar, R.K., Ghosh, R.K.

Year:

2006

Language:

english

File:

PDF, 1.67 MB

english, 2006

98

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Computing Predicate Abstractions by Integrating BDDs and SMT Solvers

Cavada, Roberto, Cimatti, Alessandro, Franz¿en, Anders, Kalyanasundaram, Krishnamani, Roveri, Marco, Shyamasundar, R.K.

Year:

2007

Language:

english

File:

PDF, 206 KB

english, 2007

99

[IEEE Comput. Soc 2001 Pacific Rim International Symposium on Dependable Computing - Seoul, South Korea (17-19 Dec. 2001)] Proceedings 2001 Pacific Rim International Symposium on Dependable Computing - Validating real-time constraints in embedded systems

Shyamasundar, R.K., Aghav, J.V.

Year:

2001

Language:

english

File:

PDF, 716 KB

english, 2001

100

[IEEE Comput. Soc. Press International Conference on Parallel Processing - Honolulu, HI, USA (15-19 April 1996)] Proceedings of International Conference on Parallel Processing - Mapping linear recurrences onto systolic arrays

Kazerouni, L., Rajan, B., Shyamasundar, R.K.

Year:

1996

Language:

english

File:

PDF, 674 KB

english, 1996