C. V. Ramamoorthy

Available identifiers

zbMath Open ramamoorthy.chitoor-vMaRDI QIDQ2266583

List of research outcomes

Publication	Date of Publication	Type
Problems, solutions, and semantic computing	2010-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4207563	1986-01-01	Paper
A methodology for assessing the correctness of control programs	1984-01-01	Paper
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets	1980-01-01	Paper
An Approach to Formal Specification of Control Modules	1980-01-01	Paper
A Design of a Fast Cellular Associative Memory for Ordered Retrieval	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4118829	1977-01-01	Paper
Scheduling Parallel Processable Tasks for a Uniprocessor	1976-01-01	Paper
Aspects of a Dynamically Adaptive Operating System	1976-01-01	Paper
Reliability Analysis of Systems with Concurrent Error Detection	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4072857	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122778	1974-01-01	Paper
A High-Level Language for Horizontal Microprogramming	1974-01-01	Paper
Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms	1974-01-01	Paper
A Scheduling Problem*	1973-01-01	Paper
Compilation Techniques for Recognition of Parallel Processable Tasks in Arithmetic Expressions	1973-01-01	Paper
On the Flow-Shop Sequencing Problem with No Wait in Process†	1972-01-01	Paper
Optimal Scheduling Strategies in a Multiprocessor System	1972-01-01	Paper
Rollback and Recovery Strategies for Computer Programs	1972-01-01	Paper
System Modeling and Testing Procedures for Microdiagnostics	1972-01-01	Paper
Parallel Task Execution in a Decentralized System	1972-01-01	Paper
Optimization Strategies for Microprograms	1971-01-01	Paper
System Segmentation for the Parallel Diagnosis of Computers	1971-01-01	Paper
Computer Diagnosis Using the Blocking Gate Approach	1971-01-01	Paper
Fault-Tolerant Computing: An Introduction and an Overview	1971-01-01	Paper
An Efficient Organization or Large Frequency-Dependent Files for Binary Searcking	1971-01-01	Paper
Optimization of Memory Hierarchies in Multiprogrammed Systems	1970-01-01	Paper
Optimization of information storage systems	1968-01-01	Paper
Reinforced prefixed comma-free codes	1967-01-01	Paper
Analysis of Graphs by Connectivity Considerations	1966-01-01	Paper
A Method of Determining the Number of Vertices Contained in the SC Network Corresponding to a Given SC Transmission Function	1965-01-01	Paper
Code structures for protection and manipulation of variable-length items	1965-01-01	Paper

Research outcomes over time

This page was built for person: C. V. Ramamoorthy