Book Chapter
Automatically estimating network contention of parallel programs
Thomas Fahringer
Lecture Notes in Computer Science, 1994, Volume 794, Computer Performance Evaluation Modelling Techniques and Tools, Pages 389-405
Book Chapter
Refinement types for program analysis
Mario Coppo, Ferruccio Damiani and Paola Giannini
Lecture Notes in Computer Science, 1996, Volume 1145, Static Analysis, Pages 143-158
Journal Article
The impact of therapeutic effectiveness data on community mental health center management: The systems evaluation project
Douglas A. Bigelow
Community Mental Health Journal, 1975, Volume 11, Number 1, Pages 64-73
Book Chapter
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
Robert Clarisó, Enric Rodríguez-Carbonell and Jordi Cortadella
Lecture Notes in Computer Science, 2005, Volume 3536, Applications and Theory of Petri Nets 2005, Pages 996-1003
Book Chapter
Removing Redundant Arguments of Functions*
María Alpuente, Santiago Escobar and Salvador Lucas
Lecture Notes in Computer Science, 2002, Volume 2422, Algebraic Methodology and Software Technology, Pages 241-242
Book Chapter
The V-Ray technology of optimizing programs to parallel computers
Valentin V. Voevodin and Vladimir V. Voevodin
Lecture Notes in Computer Science, 1997, Volume 1196, Numerical Analysis and Its Applications, Pages 546-556
Book Chapter
Analysis of interprocedural side effects in a parallel programming environment
David Callahan and Ken Kennedy
Lecture Notes in Computer Science, 1988, Volume 297, Supercomputing, Pages 138-171
Journal Article
An effective structured approach to finding optimal partitions of networks
H. Widjaja
Computing, 1982, Volume 29, Number 3, Pages 241-262
Book Chapter
Detecting and removing dead-code using rank 2 intersection
Ferruccio Damiani and Frédéric Prost
Lecture Notes in Computer Science, 1998, Volume 1512, Types for Proofs and Programs, Pages 66-87
Book Chapter
Finding the optimal unroll-and-jam
N. Zingirian and M. Maresca
Lecture Notes in Computer Science, 1999, Volume 1593, High-Performance Computing and Networking, Pages 633-642