 | 2010 |
| 11 |  | Stephen C. Medders,
Edward B. Allen,
Edward A. Luke:
Using Rule Structure to Evaluate the Completeness of Rule-Based System Testing: a Case Study.
International Journal of Software Engineering and Knowledge Engineering 20(7): 975-986 (2010) |
| 10 |  | Yang Zhang,
Edward A. Luke:
Using the loci framework for automated program and component generation.
Procedia CS 1(1): 1855-1861 (2010) |
| 2009 |
| 9 |  | Pooja Adhikari,
Edward A. Luke,
Edward B. Allen:
Verification of a Loop Scheduling Protocol using Finite State Verification.
ISCA PDCCS 2009: 109-114 |
| 8 |  | Yang Zhang,
Edward A. Luke:
Design and Implement Dynamic Irregular Parallel Computation using the Key-value-reference Model.
ISCA PDCCS 2009: 115-120 |
| 7 |  | Yang Zhang,
Edward A. Luke:
Concurrent Composition Using Loci.
Computing in Science and Engineering 11(3): 27-35 (2009) |
| 2006 |
| 6 |  | Yang Zhang,
Edward A. Luke:
Dynamic Memory Management in the Loci Framework.
Scalable Computing: Practice and Experience 7(3): (2006) |
| 2005 |
| 5 |  | Yang Zhang,
Edward A. Luke:
Dynamic Memory Management in the Loci Framework.
International Conference on Computational Science (2) 2005: 790-797 |
| 4 |  | Edward A. Luke,
Thomas George:
Loci: a rule-based framework for parallel multi-disciplinary simulation synthesis.
J. Funct. Program. 15(3): 477-502 (2005) |
| 1999 |
| 3 |  | Edward A. Luke:
Loci: A Deductive Framework for Graph-Based Algorithms.
ISCOPE 1999: 142-153 |
| 1998 |
| 2 |  | Edward A. Luke,
Ioana Banicescu,
Jin Li:
The Optimal Effectiveness Metric for Parallel Application Analysis.
Inf. Process. Lett. 66(5): 223-229 (1998) |
| 1989 |
| 1 |  | Edward A. Luke,
Helen C. Takacs,
William C. Welch:
Position statement on concurrent objects for massively parallel architectures.
SIGPLAN Notices 24(4): 171-173 (1989) |