Iterative and Parallel Algorithm Design from High Level Language Traces (2005)

Cached

Download Links

by Daniel E. Cooke , J. Nelson Rushton
Venue:Lecture Notes in Computer Science
Citations:2 - 2 self

Documents Related by Co-Citation

3 Application of Model-Based Technology Systems for Autonomous Systems – Daniel Cooke, Michael Gelfond, Howard Hu, J Nelson - 2005
19 An Introduction to SEQUENCEL: A Language to Experiment with Nonscalar Constructs – D Cooke - 1996
1 Model-Based Reasoning for Complex Flight Systems – Marcello Balduccini, Michael Gelfond - 2005
1 Redwood: Dependability Testbed Instrumentation Platform – V Kotov, V Mehrotra - 2004
1 A Collaborative Testbed Engineering Platform – V Kotov, V Mehrotra - 2005
3 Automatic Parallel Control Structures – Daniel E Cooke, Per Andersen - 2000
1 Distribute: A Basis for the Decomposition and Parallel Evaluation of Nonscalars – Transpose Normalize
1 The Linear-Time Hierarchy Theorems for Abstract State Machines and RAMs – Andreas Blass, Yuri Gurevich - 1997
8 A Product Line Architecture for a Network Product – Dewayne E. Perry - 2000
12 Programming with non-heap memory in the real-time specification for Java – Greg Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Daniel Dvorak, Brian Giovannoni, Mark Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz - 2003
10 CR-Prolog2: CR-Prolog with Ordered Disjunction – Marcello Balduccini, Veena Mellarkod - 2003
130 The Geography of Coordination: Dealing with Distance – Rebecca E. Grinter, James D. Herbsleb - 1999
32 Diagnostic Reasoning with A-Prolog, Theory and Practice of Logic Programming – M Balduccini, M Gelfond - 2003
64 Logic Programs with Consistency-Restoring Rules – Marcello Balduccini, Michael Gelfond - 2003
13 USA-Smart: Improving the Quality of Plans in Answer Set Planning – Marcello Balduccini - 2004
6 On the Development of a Method to Synthesize Programs from Requirements Specifications – D E Cooke, A Gates - 1991
8 SequenceL Provides a Different way to View Programming – D Cooke - 1998
3 Data Structured Programming: Programming without Arrays and Pointers – H Mills, R Linger - 1986
1 NASA's Exploration Agenda and Capability Engineering – Cordell Green