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
An Approach to Formal Specification of Control Modules	1980-01-01	Paper
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets	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
Compilation Techniques for Recognition of Parallel Processable Tasks in Arithmetic Expressions	1973-01-01	Paper
A Scheduling Problem*	1973-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
On the Flow-Shop Sequencing Problem with No Wait in Process†	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
Computer Diagnosis Using the Blocking Gate Approach	1971-01-01	Paper
Optimization Strategies for Microprograms	1971-01-01	Paper
System Segmentation for the Parallel Diagnosis of Computers	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
Code structures for protection and manipulation of variable-length items	1965-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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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