Update Plans for Parallel Architectures (1996)


Download Links

by Hugh Osborne
Venue:Abstract Machine Models for Parallel and Distributed Computing
Citations:3 - 2 self

Active Bibliography

Update Plans: Semantics: An Introduction – Hugh R. Osborne - 1991
4 From Processor Timing Specifications to Static Instruction Scheduling – Ed Harcourt, Jon Mauney, Todd Cook - 1994
5 Formal Specification and Simulation of Instruction-Level Parallelism – Ed Harcourt, Jon Mauney, Todd Cook - 1994
2 Classical Coordination Mechanisms in the Chemical Model – J. -p. Banâtre, P. Fradet, Y. Radenac, In Memory Of Gilles Kahn
1 Verifying Multran Programs With Temporal Logic – Wanli Ma, Mehmet Orgun - 1995
36 Software Architecture Styles as Graph Grammars – Daniel Le Metayer - 1996
34 Gamma And The Chemical Reaction Model: Ten Years After – J.-P. Banâtre, D. Le Métayer
13 Gamma And The Chemical Reaction Model – Jean-Pierre Banâtre, Daniel Le Métayer - 1996
A Crowd of Little Man Computers: Visual Computer Simulator Teaching Tools – B. A. Peters, Hugh Osborne, J. S. Smith, D. J. Medeiros, M. W. Rohrer, William Yurcik - 2001
Static Analyzers for Machine Instructions ⋆ – Junghee Lim, Thomas Reps, Junghee Lim, Thomas Reps
19 A system for generating static analyzers for machine instructions – Junghee Lim, Thomas Reps - 2008
3 SimGen: Development of Efficient Instruction Set Simulators – Fredrik Larsson, Peter Magnusson, Bengt Werner - 1997
28 The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network – Hugh Kingdon, David R. Lester, Geoffrey L. Burn - 1991
17 Linearity and Laziness – David Wakeling, Colin Runciman - 1990
8 Implementing the Evaluation Transformer Model of Reduction on Parallel Machines – G. L. Burn - 1991
4 Characterising the Design Space for LINDA Semantics – Duncan K.G. Campbell, Hugh R. Osborne, Alan M. Wood - 1997
21 On the Interaction of Lazy Evaluation and Backtracking – Werner Hans, Rita Loogen, Stephan Winkler - 1992
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
Implementation Issues for Functional Logic Programming – Herbert Kuchen, In E. G. Alf