Edward A. Luke

11 papers Misc 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2010 J jnl
Using Rule Structure to Evaluate the Completeness of Rule-Based System Testing: a Case Study.
Int. J. Softw. Eng. Knowl. Eng.
Stephen C. Medders, Edward B. Allen, Edward A. Luke
2010 Misc conf
Using the loci framework for automated program and component generation.
ICCS
Yang Zhang, Edward A. Luke
2009 J jnl
Concurrent Composition Using Loci.
Comput. Sci. Eng.
Yang Zhang, Edward A. Luke
2009 — conf
Design and Implement Dynamic Irregular Parallel Computation using the Key-value-reference Model.
PDCCS
Yang Zhang, Edward A. Luke
2009 — conf
Verification of a Loop Scheduling Protocol using Finite State Verification.
PDCCS
Pooja Adhikari, Edward A. Luke, Edward B. Allen
2006 J jnl
Dynamic Memory Management in the
Scalable Comput. Pract. Exp.
Yang Zhang, Edward A. Luke
2005 Misc conf
Dynamic Memory Management in the Loci Framework.
International Conference on Computational Science (2)
Yang Zhang, Edward A. Luke
2005 J jnl
Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis.
J. Funct. Program.
Edward A. Luke, Thomas George
1999 — conf
Loci: A Deductive Framework for Graph-Based Algorithms.
ISCOPE
Edward A. Luke
1998 J jnl
The Optimal Effectiveness Metric for Parallel Application Analysis.
Inf. Process. Lett.
Edward A. Luke, Ioana Banicescu, Jin Li
1988 — conf
Position statement on concurrent objects for massively parallel architectures.
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming
Edward A. Luke, Helen C. Takacs, William Claude Welch