Analysis of the availability of computer systems using computer-aided algebra
- 期刊名称Communications of the ACM
- 作者Chattergy, Rahul; Pooch, Udo W.
- 卷第21卷
- 期第7期
- 印刷ISSN0001-0782
- 文件大小3427.37KB
- 发表时间1978-7-1
- DOI10.1145/359545.359572
- 页码586-591
Special issue on model transformationAlfonso Pierantonio; Antonio Vallecillo; Bran Selic; Jeff Gray · 2007
PrefaceAndy Evans; Stuart Kent; Bran Selic · 2002
Point/CounterpointWoods, Eoin; Emery, David; Selic, Bran · 2010
Evolution, not revolutionSelic, Bran; Ramackers, Guus; Kobryn, Cris · Communications of the ACM · 2002
UML for Real || Software Performance EngineeringLavagno, Luciano; Martin, Grant; Selic, Bran · 2004
UML for Real || Automotive UMLLavagno, Luciano; Martin, Grant; Selic, Bran · 2003
UML for Real || Message Sequence ChartsLavagno, Luciano; Martin, Grant; Selic, Bran · 2004
The UML – MARTE Standardized ProfileGérard, Sébastien; Selic, Bran · IFAC Proceedings Volumes · 2008
A measure of controlArmour, Phillip G. · Communications of the ACM · 2012
Lightweight modular stagingRompf, Tiark; Odersky, Martin · Communications of the ACM · 2012
Why ACM?Vardi, Moshe Y. · Communications of the ACM · 2012
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
The five orders of ignoranceArmour, Phillip G. · Communications of the ACM · 2000
Compiling techniquesCheatham, Thomas E. · Communications of the ACM · 1966
RooflineWilliams, Samuel; Waterman, Andrew; Patterson, David · Communications of the ACM · 2009
A fast string searching algorithmBoyer, Robert S.; Moore, J. Strother · Communications of the ACM · 1977