[ACM Press the 5th conference - New York, NY (1971.12.08-1971.12.10)] Proceedings of the 5th conference on Winter simulation - WSC '71 - The capital asset pricing simulator
- 作者Besenfelder, David E.; Wagner, Wayne H.
- 文件大小894.70KB
- 发表时间1971
- DOI10.1145/800294.811429
- 页码98-108
Design of software for text compositionS. P. Mudur; A. W. Narwekar; Abha Moitra · 1979
Proof rules for fault tolerant distributed programsMathai Joseph; Abha Moitra; Neelam Soundararajan · 1987
Design and analysis of a hyphenation procedureAbha Moitra; S. P. Mudur; A. W. Narwekar · 1979
Derivation of a parallel algorithm for balancing binary treesMoitra, Abha; Iyengar, S. Sitharama · IEEE Transactions on Software Engineering · 1986
Automating requirements analysis and test case generationMoitra, Abha; Siu, Kit; Crapo, Andrew W.; Durling, Michael; Li, Meng; Manolios, Panagiotis; Meiners, Michael; McMillan, Craig · Requirements Engineering · 2019
Automatic construction of CSP programs from sequential non-deterministic programsAbha Moitra · 1985
A Maximally Parallel Balancing Algorithm for Obtaining Complete Balanced Binary TreesMoitra, Abha; Iyengar, S. Sitharama · 1985
Automated feedback generation for formal manufacturing rule extractionKang, SungKu; Patil, Lalit; Rangarajan, Arvind; Moitra, Abha; Jia, Tao; Robinson, Dean; Dutta, Debasish · Artificial Intelligence for Engineering Design, Analysis and Manufacturing · 2019