C. V. Ramamoorthy
According to our database1,
C. V. Ramamoorthy
authored at least 144 papers
between 1964 and 2009.
Collaborative distances:
Collaborative distances:
Awards
IEEE Fellow
IEEE Fellow 1978, "For contributions to computer architecture and software engineering.".
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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
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, 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