Stephen Fitzpatrick

发表

Unfolding Recursive Function Definitions Using the Paradoxical Combinator

Peter Kilpatrick, Maurice Clint, Stephen Fitzpatrick, 1996 .

An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs

Stephen Fitzpatrick, Lambert G. L. T. Meertens, L. Meertens, 2001, SAGA.

Program Transformations for Automatically Tailoring Algorithms to Sparse Matrices 1

Stephen Fitzpatrick, T. J. Harmer, James M. Boyle, 1994 .

Soft, Real-Time, Distributed Graph Coloring using Decentralized, Synchronous, Stochastic, Iterative-Repair, Anytime Algorithms

Stephen Fitzpatrick, Lambert Meertens, 2001 .

The Automated Transformation of Abstract Specifications

Maurice Clint, James M. Boyle, Terence J. Harmer, 1997 .

A full factorial numerical investigation and validation of precision end milling process for hardened tool steel

Xichun Luo, Stephen Fitzpatrick, Andreas Reimer, 2017 .

A Family of Data-Parallel Derivations

Peter Kilpatrick, Maurice Clint, James M. Boyle, 1994, HPCN.

The Automated Derivation of Sparse Implementations of Numerical Algorithms through Program Transformation 1

Peter Kilpatrick, Maurice Clint, Stephen Fitzpatrick, 1995 .

Guest Editorial : Can additive manufacturing breathe new life into aging assets?

Stephen Fitzpatrick, 2018 .

The Construction of Numerical Mathematical Software for the AMT DAP by Program Transformation

Maurice Clint, James M. Boyle, Terence J. Harmer, 1992, CONPAR.

Deriving Efficient Parallel Implementations of Algorithms Operating on General Sparse Matrices Using Automatic Program Transformation

James M. Boyle, Terence J. Harmer, Stephen Fitzpatrick, 1994, CONPAR.

Using Software Generation and Repair for Cyber-Defense

Stephen J. Westfold, Stephen Fitzpatrick, Cordell Green, 2014 .

Distributed Coordination through Anarchic Optimization

Stephen Fitzpatrick, Lambert Meertens, L. Meertens, 2003 .

An Algebra for Deriving Efficient Implementations for an Array Processor Parallel Computer from Functional Specifications

Alan Stewart, Maurice Clint, Stephen Fitzpatrick, 1995 .

Deriving DAP Implementations of Numerical Mathematical Software through Automated Program Transformation 1

Maurice Clint, Stephen Fitzpatrick, T. J. Harmer, 1992 .

E-Merge-ANT: A Toolkit to Create Run-Time Autonomous Negotiating Teams (ANT) Generators, Aggregators, and Synthesizers

Stephen Fitzpatrick, Cordell Green, 2004 .

Vulnerabilities in Bytecode Removed by Analysis, Nuanced Confinement and Diversification (VIBRANCE)

Martin Rinard, Henny B. Sipma, Jeff H. Perkins, 2015 .

Peer-to-Peer Coordination of Autonomous Sensors in High-Latency Networks using Distributed Scheduling and Data Fusion∗

Stephen Fitzpatrick, Lambert Meertens, L. Meertens, 2001 .

Predictability & criticality metrics for coordination in complex environments

Rajiv T. Maheswaran, Craig Milo Rogers, Romeo Sanchez, 2008, AAMAS.

The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation

Peter Kilpatrick, Maurice Clint, Terence J. Harmer, 1996, Comput. J..

An Examination of Criticality-Sensitive Approaches to Coordination

Gabor Karsai, Rajiv T. Maheswaran, Craig Milo Rogers, 2006, AAAI Spring Symposium: Distributed Plan and Schedule Management.

Advice and Learning in Problem Solving

David Cyrluk, Marcel Becker, Alessandro Coglio, 2005 .

The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations

Alan Stewart, Maurice Clint, James M. Boyle, 1997, Sci. Comput. Program..

CSC: Criticality-Sensitive Coordination

Gabor Karsai, Rajiv T. Maheswaran, Craig Milo Rogers, 2006, AAMAS '06.

Real-Time Asset Rescheduling With Execution Monitoring and Accurate Asset Tracking

Douglas R. Smith, Stephen J. Westfold, Stephen Fitzpatrick, 2002 .

CenFRA centre for food robotics and automation

Stephen Fitzpatrick, 2008 .

Deriving Processing on SYDAMA-2: Concept and Realization of the Software

Peter Kilpatrick, Maurice Clint, Stephen Fitzpatrick, 1993, PARCO.

Scalable, Anytime Constraint Optimization through Iterated, Peer-to-Peer Interaction in Sparsely-Connected Networks

Stephen Fitzpatrick, Lambert Meertens, 2002 .

Experiments on Dense Graphs with a Stochastic, Peer-to-Peer Colorer

Stephen Fitzpatrick, Lambert Meertens, 2002 .

A Family of Intermediate Forms

Stephen Fitzpatrick, T. J. Harmer, J. M. Boyle, 1993 .