|
|
eCommons@Cornell >
Browsing by Author Moitra, Abha
Showing results 1 to 12 of 12
| Preview | Issue Date | Title | Author(s) | | Jun-1984 | Algebraic Specification of a Communication Scheduler | Mathai, Joseph; Moitra, Abha |
| Jul-1985 | Analysis of Hard Real-Time Systems | Moitra, Abha |
| Mar-1984 | Automatic Construction of CSP Programs from Sequential Non-Deterministic Programs | Moitra, Abha |
| Mar-1989 | Complete, Effective and Abstract System For Reasoning About Networks of Processes | Wagner, Catherine; Moitra, Abha |
| Sep-1984 | Derivation of a Maximally Parallel Algorithm for Balancing Binary Search Trees | Moitra, Abha; Iyengar, S. Sitharama |
| Jun-1986 | Discussion of Parallel Algorithms | Moitra, Abha; Iyengar, S. Sitharama |
| Oct-1986 | Finitary Choice Cannot Express Fairness: A Metric Space Technique | Moitra, Abha; Panangaden, Prakash |
| May-1985 | Multilevel Data Structures Models and Performance | Moitra, Abha; Iyengar, S. Sitharama; Bastani, F.; Yen, I. |
| Jul-1988 | Parallel Algorithms For Maximum Matching And Other Problems On Interval Graphs | Moitra, Abha; Johnson, Richard C. |
| Oct-1984 | Proof Rules for Fault-Tolerant Distributed Programs | Joseph, Mathai; Moitra, Abha; Soundararajan, Neelam |
| Sep-1986 | A Proof System for Dataflow Networks with Indeterminate Modules | Moitra, Abha; Panangaden, Prakash |
| May-1989 | Time Lower Bounds for CREW-PRAM Computation of Monotone Functions | Bilardi, Gianfranco; Moitra, Abha |
Showing results 1 to 12 of 12
|
