Effect of Free Surfaces on the Glass Transition Temperature of Thin Polymer Films
- 期刊名称Physical Review Letters
- 作者Forrest, J. A.; Dalnoki-Veress, K.; Stevens, J. R.; Dutcher, J. R.
- 卷第77卷
- 期第19期
- 印刷ISSN0031-9007
- 电子ISSN1079-7114
- 文件大小30.49KB
- 发表时间1996-11-4
- DOI10.1103/PhysRevLett.77.4108
- 页码4108-4108
Incremental parsing without a parserGail E. Kaiser; Elaine Kant · 1985
Incremental parsing of expressionsFrans C. Heeman · 1990
On incremental shift-reduce parsingDashing Yeh · BIT Numerical Mathematics · 1983
An incremental LL(1) parsing algorithmWuu Yang · 1993
Incremental recursive descent parsingArvind M. Murching; Y.V. Prasad; Y.N. Srikant · 1990
Parallel incremental LR parsingN. Viswanathan; Y.N. Srikant · 1994
Incremental scanning and parsing with galaxyBeetem, J.F.; Beetem, A.F. · 1991
SIMPLE: A program development systemAugusto Celentano; Pierluigi Della Vigna; Carlo Ghezzi; Dino Mandrioli · 1980
Augmenting Parsers to Support IncrementalityGhezzi, Carlo; Mandrioli, Dino · Journal of the ACM · 1980
FUNDAMENTALS OF SOFTWARE ENGINEERING SECOND EDITION[意]CARLO GHEZZI MEHDI JAZAYERI DINO MANDRIOLI著 · 中国电力出版社 · 2006
Executable specifications with data-flow diagramsAlfonso Fuggetta; Carlo Ghezzi; Dino Mandrioli; Angelo Morzenti · 1993
A model parametric real-time logicMorzenti, Angelo; Mandrioli, Dino; Ghezzi, Carlo · ACM Transactions on Programming Languages and Systems · 1992
Syntactic-semantic incrementality for agile verificationBianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino · Science of Computer Programming · 2015
Symbolic execution of concurrent systems using Petri netsCarlo Ghezzi; Dino Mandrioli; Sandro Morasca; Mauro Pezzè · 1989
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007