C. V. Ramamoorthy

According to our database1, C. V. Ramamoorthy
  • authored at least 145 papers between 1964 and 2009.
  • has a "Dijkstra number"2 of three.

Awards

IEEE Fellow

IEEE Fellow 1978, "For contributions to computer architecture and software engineering.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2009
Problems, Solutions, and Semantic Computing.
Int. J. Semantic Computing, 2009

Semantic Interoperability for Knowledge-Based Service.
Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 2009

2008
Preface for the Special Issue on Real-Time Distributed Computing and Ubiquitous Computing in Memory of Professor Moon Hae Kim.
JCSE, 2008

Issues and Models of Security Oriented Systems.
Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2006
Disaster Hardening for Software Systems.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

A Social Transformation-Emergence of the Knowledge Society.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Models and Methods for Discovering Automatable Activity Segments in a Service-Oriented Environment.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

Models and Methods for Discovering Automatable Activity Segments in a Service--Oriented Environment.
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006

2005
RBD tools using compression, decompression, hybrid techniques to code, decode, and compute reliability in simple and complex embedded systems.
IEEE Trans. Instrumentation and Measurement, 2005

Fault simulation and response compaction in full scan circuits using HOPE.
IEEE Trans. Instrumentation and Measurement, 2005

Revisiting response compaction in space for full-scan circuits with nonexhaustive test sets using concept of sequence characterization.
IEEE Trans. Instrumentation and Measurement, 2005

Infrastructures for information technology systems.
Proceedings of the IEEE International Conference on Systems, 2005

Disaster Hardening for Software Systems.
Proceedings of the Third ACIS International Conference on Software Engineering, 2005

2004
Creating a New Service on The Web.
International Journal on Artificial Intelligence Tools, 2004

Infrastructures for Information Technology Systems: Perspectives on Their Evolution and Impact.
Proceedings of the Software Engineering Research, 2004

2003
The Humanization, Personalization and Authentication Issues in the Design of Interactive Service System.
Transactions of the SDPS, 2003

2002
Evolution and Evaluation of Software Quality Models.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

2001
Fault tolerance in systems design in VLSI using data compression under constraints of failure probabilities.
IEEE Trans. Instrumentation and Measurement, 2001

1998
Adaptive Prefetching and Storage Reorganization In A Log-Structured Storage System.
IEEE Trans. Knowl. Data Eng., 1998

An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software.
International Journal of Software Engineering and Knowledge Engineering, 1998

Digital Product Evolution - Models And Trends.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

1997
Anytime Reasoning in First-Order Logic.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Partial instantiation theorem proving for distributed resource location.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

Improving I/O response times via prefetching and storage system reorganization.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Advances in Software Engineering.
IEEE Computer, 1996

An Intelligent Process for Formulating and Anwering Project Queries.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

An Evaluation of Knowledge Engineering Approaches to the Maintenance of Evolutionary Software.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995
Security issues in mobile communications.
Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Using influence diagrams for software risk analysis.
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Distributed techniques in software systems integration.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994
CM-SIM: A Parallel Circuit Simulator on a Distributed Memory Multiprocessor.
Proceedings of the Seventh International Conference on VLSI Design, 1994

A Discrete-Event Simulation Model for Characterizing Parallel File Transfers.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

RiskExpert: an expert STEP metrics analyzer.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

DOMINO: a system for maintaining the consistency of software objects.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

Simulation based metrics prediction in software engineering.
Proceedings of the Eighteenth Annual International Computer Software and Applications Conference, 1994

1993
Maintaining the Truth of Specifications in Evolutionary Software.
International Journal on Artificial Intelligence Tools, 1993

Software Engineering in the Year 2000.
Proceedings of the SEKE'93, 1993

Overhead reduction in distributed simulation.
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993

Knowledge Based Tools for Risk Assessment in Software Development and Reuse.
Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

Panel - The Virtual Heterogeneous Supercomputer: Can It Be Built?
Proceedings of the Second International Symposium on High Performance Distributed Computing, 1993

Efficient commitment of events in distributed simulation.
Proceedings of the Seventeenth Annual International Computer Software and Applications Conference, 1993

1992
Foreword.
IEEE Trans. Knowl. Data Eng., 1992

Coop: a Self-Assessment Based Approach to Cooperating Expert Systems.
International Journal on Artificial Intelligence Tools, 1992

Storage and access of temporal information for the management of complex systems.
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

1991
Editors' Comments.
IEEE Trans. Knowl. Data Eng., 1991

On Issues in Software Engineering and Artificial Intelligence.
International Journal of Software Engineering and Knowledge Engineering, 1991

ConC: A Language for Concurrent Programming.
Comput. Lang., 1991

Specifications for the development of an expert tool for the automatic optical understanding of electronic circuits: VLSI reverse engineering.
Proceedings of the 9th IEEE VLSI Test Symposium (VTS'91), 1991

The correspondence between methods of artificial intelligence and the production and maintenance of evolutionary software.
Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

1990
The Evolution Support Environment System.
IEEE Trans. Software Eng., 1990

The C Information Abstraction System.
IEEE Trans. Software Eng., 1990

A knowledge and data base for software systems.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Monitoring and Control of Distributed Systems.
Proceedings of the First International Conference on Systems Integration, 1990

A Cooperative Approach to Large Knowledge Based Systems.
Proceedings of the Sixth International Conference on Data Engineering, 1990

1989
Knowledge and Data Engineering.
IEEE Trans. Knowl. Data Eng., 1989

An Adaptive Hierarchical Routing Protocol.
IEEE Trans. Computers, 1989

Coop: a shell for cooperating expert systems.
Proceedings of the IEEE International Workshop on Tools for Artificial Intelligence: Architectures, 1989

Stochastic backpropagation: a learning algorithm for generalization problems.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
Support for Reusability in Genesis.
IEEE Trans. Software Eng., 1988

Object-Oriented Systems.
IEEE Expert, 1988

Efficient Algorithms for Maintenance of Large Database.
Proceedings of the Fourth International Conference on Data Engineering, 1988

Hierarchical Distributed Simulations.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

APAS: the Ada Programming Assistant System.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

High level communication primitives for concurrent systems.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Extensions on performance evaluation techniques for concurrent systems.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

Synthesis rules for cyclic interactions among processes in concurrent systems.
Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1987
Software Development Support for AI Programs.
IEEE Computer, 1987

Issues in the Development of Large, Distributed, and Reliable Software.
Advances in Computers, 1987

Logic-oriented Object Bases.
Proceedings of the Third International Conference on Data Engineering, 1987

Fault tolerant distributed process-control systems.
Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, 1987

1986
Programming in the Large.
IEEE Trans. Software Eng., 1986

Optimal Recopnfiguration Strategies for Reconfigurable Computer Systems with no Repair.
IEEE Trans. Computers, 1986

Synthesis of two-party error-recoverable protocols.
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986

A petri net reduction algorithm for protocol analysis.
Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986

A Distributed Clustering Algorithm for Large Computer Networks.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986

1985
An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol.
IEEE Trans. Software Eng., 1985

1984
Software Engineering: Problems and Perspectives.
IEEE Computer, 1984

1983
The Isomorphism of Simple File Allocation.
IEEE Trans. Computers, 1983

1982
Software Reliability - Status and Perspectives.
IEEE Trans. Software Eng., 1982

Protocols for Deadlock Detection in Distributed Database Systems.
IEEE Trans. Software Eng., 1982

The Design of "Low-End" Machines for Data Management in Distributed Systems.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

Techniques in Software Quality Assurance.
Proceedings of the Software-Qualitätssicherung, 1982

1981
Application of a Methodology for the Development and Validation of Reliable Process Control Software.
IEEE Trans. Software Eng., 1981

The Degradation in Memory Utilization Due to Dependencies.
IEEE Trans. Computers, 1981

An Optimal Algorithm for Scheduling Requests on Interleaved Memories for a Pipelined Processor.
IEEE Trans. Computers, 1981

1980
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets.
IEEE Trans. Software Eng., 1980

An Approach to Formal Specification of Control Modules.
IEEE Trans. Software Eng., 1980

1979
On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants.
Proceedings of the 4th International Conference on Software Engineering, 1979

Performance evaluation of concurrent asynchronous systems using petri nets.
Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1978
A Design of a Fast Cellular Associative Memory of Ordered Retrieval.
IEEE Trans. Computers, 1978

Corrigenda: Pipeline Architecture.
ACM Comput. Surv., 1978

Structure of an Efficient Duplex Memory for Processing Fault-Tolerant Programs.
Proceedings of the 5th Annual Symposium on Computer Architecture, April 1978, 1978

1977
Pipeline Architecture.
ACM Comput. Surv., 1977

Architectural Issues in Distributed Data Base Systems.
Proceedings of the Third International Conference on Very Large Data Bases, 1977

Fault tree analysis of computer systems.
Proceedings of the American Federation of Information Processing Societies: 1977 National Computer Conference, 1977

1976
On the Automated Generation of Program Test Data.
IEEE Trans. Software Eng., 1976

Scheduling Parallel Processable Tasks for a Uniprocessor.
IEEE Trans. Computers, 1976

Computer Science and Engineering Education.
IEEE Trans. Computers, 1976

Aspects of a Dynamically Adaptive Operating System.
IEEE Trans. Computers, 1976

On the Automated Generation of Program Test Data (Abstract).
Proceedings of the 2nd International Conference on Software Engineering, 1976

Failure-tolerant parallel programming and its supporting system architecture.
Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

1975
Optimal Placement of Software Monitors Aiding Systematic Testing.
IEEE Trans. Software Eng., 1975

Testing Large Software with Automated Software Evaluation Systems.
IEEE Trans. Software Eng., 1975

Reliability Analysis of Systems with Concurrent Error Detection.
IEEE Trans. Computers, 1975

Computer Education [Guest editor's introduction].
IEEE Computer, 1975

1974
A High-Level Language for Horizontal Microprogramming.
IEEE Trans. Computers, 1974

Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms.
IEEE Trans. Computers, 1974

Reliability and Integrity of Large Computer Programs.
Proceedings of the GFK-GI-GMR Fachtagung Prozessrechner 1974, Karlsruhe, 10.-11. Juni 1974, 1974

Execution time (and memory) optimization in microprograms.
Proceedings of the Supplement to the conference record of the 7th annual workshop on Microprogramming, 1974

Efficiency in generalized pipeline networks.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

Pipelining: the generalized concept and sequencing strategies.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1973
Compilation Techniques for Recognition of Parallel Processable Tasks in Arithmetic Expressions.
IEEE Trans. Computers, 1973

B73-9 Introduction to Computer Organization and Data Structures.
IEEE Trans. Computers, 1973

A higher level language for micro-programming.
Proceedings of the Conference record of the 6th annual workshop on Microprogramming, 1973

Correctness and equivalence of straight line microprograms.
Proceedings of the Conference record of the 6th annual workshop on Microprogramming, 1973

1972
Some Properties of Iterative Square-Rooting Methods Using High-Speed Multiplication.
IEEE Trans. Computers, 1972

Optimal Scheduling Strategies in a Multiprocessor System.
IEEE Trans. Computers, 1972

System Modeling and Testing Procedures for Microdiagnostics.
IEEE Trans. Computers, 1972

Parallel Task Execution in a Decentralized System.
IEEE Trans. Computers, 1972

Rollback and Recovery Strategies for Computer Programs.
IEEE Trans. Computers, 1972

A survey of current microprogrammed computers.
Proceedings of the 9th Design Automation Workshop, 1972

Two optimal square-rooting algorithms ussing iterative multiplication.
Proceedings of the 2nd IEEE Symposium on Computer Arithmetic, 1972

Microprogrammed significance arithmetic: a perspective and feasibility study.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1972 Spring Joint Computer Conference, 1972

A framework for hardware-software tradeoffs in the design of fault-tolerant computers.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1971
Computer Diagnosis Using the Blocking Gate Approach.
IEEE Trans. Computers, 1971

An Efficient Organization or Large Frequency-Dependent Files for Binary Searcking.
IEEE Trans. Computers, 1971

System Segmentation for the Parallel Diagnosis of Computers.
IEEE Trans. Computers, 1971

Fault-Tolerant Computing: An Introduction and an Overview.
IEEE Trans. Computers, 1971

Optimization Strategies for Microprograms.
IEEE Trans. Computers, 1971

Program Suitability for Parallel Processing.
IEEE Trans. Computers, 1971

Subexpression Ordering in the Execution of Arithmetic Expressions.
Commun. ACM, 1971

Arranging frequency dependent data on sequential memories.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1971 Spring Joint Computer Conference, 1971

An interactive simulator generating system for small computers.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1971 Spring Joint Computer Conference, 1971

1970
Optimization of Memory Hierarchies in Multiprogrammed Systems.
J. ACM, 1970

A study of user-microprogrammable computers.
Proceedings of the American Federation of Information Processing Societies: AFIPS Conference Proceedings: 1970 Spring Joint Computer Conference, 1970

1969
A survey of techniques for recognizing parallel processable streams in computer programs.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '69 Fall Joint Computer Conference, 1969

Fast multiplication cellular arrays for LSI implementation.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '69 Fall Joint Computer Conference, 1969

1968
Optimization of Information Storage Systems
Information and Control, December, 1968

1967
Reinforced prefixed comma-free codes.
IEEE Trans. Information Theory, 1967

A structural theory of machine diagnosis.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, 1967

1966
Analysis of Graphs by Connectivity Considerations.
J. ACM, 1966

1965
Connectivity Considerations of Graphs Representing Discrete Sequential Systems.
IEEE Trans. Electronic Computers, 1965

Code structures for protection and manipulation of variable-length items.
Commun. ACM, 1965

Procedures for minimization of "exclusive-OR" and "logical-equivalence" switching circuits.
Proceedings of the 6th Annual Symposium on Switching Circuit Theory and Logical Design, 1965

1964
Note on Reinforcing Control Information in Variable Length Items
Information and Control, June, 1964


  Loading...