Using proof in transformation synthesis for automatic parallelisation

Using proof in transformation synthesis for automatic parallelisation

Bibliographic Details
Main Author:	Cook, Andrew
Published:	Heriot-Watt University 2001
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.395009

Similar Items

Speculative parallelisation with dynamic data structures
by: Rybin, Pavel
Published: (2010)

Static dependency analysis of recursive structures for parallelisation
by: Lewis, Tim
Published: (2005)

The use of proof plans for transformation of functional programs by changes of data type
by: Richardson, J. D. C.
Published: (1996)

The use of proofs-as-programs to build an analogy-based functional program editor
by: Whittle, J. N. D.
Published: (1999)

Proof Rules, Mathematical Semantics, and Programming Language Design
by: Ligler, G. T.
Published: (1975)

Transform domain texture synthesis on surfaces
by: Shet, Rupesh N.
Published: (2008)

Automatic aesthetic image enhancement for consumer digital photographs
by: Payne, Andrew
Published: (2007)

Rank lower bounds in propositional proof systems based on integer linear programming methods
by: Rhodes, Mark Nicholas Charles
Published: (2009)

Automatic product classification
by: Roberts, Paul J.
Published: (2011)

Automatic Tracking Logics
by: Brown, A. M.
Published: (1971)

Synthesizing fundamental frequency using models automatically trained from data
by: Dusterhoff, K. E.
Published: (2000)

Automatic Image Annotation and Categorization
by: Wang, Yong
Published: (2008)

Context-aware automatic service selection
by: Yu, Hong Qing
Published: (2009)

Automatic translation of scene description languages
by: Clark, D. P.
Published: (2006)

Automatic recognition of ancient Syriac handwriting
by: Fernando, Pathirajaliyanage Prem Jayalath
Published: (2005)

Fast pose and automatic matching using hybrid method for the three dimensional face recognition
by: Hwang, June Youn
Published: (2009)

A schema transformation based approach to generic model management
by: Smith, Andrew Charles
Published: (2010)

HEDGEHOG : automatic verification of design patterns in Java
by: Blewitt, Alex
Published: (2006)

Automatic summarisation as pre-processing for document clustering
by: Latif, Seemab
Published: (2010)

Fusing automatically extracted annotations for the Semantic Web
by: Nikolov, Andriy
Published: (2010)

Automatic portal generation based on XML workflow description
by: Lu, Dashan
Published: (2010)

Semi-automatic construction of dense shape and appearance models
by: Habib, Mary
Published: (2011)

Automatic approaches towards vehicle make and model recognition
by: Zafar, Iffat
Published: (2008)

Application acceleration : an investigation of automatic porting methods for application accelerators
by: Beach, Thomas Henry Outram
Published: (2010)

Automatic multilevel feature abstraction in adaptable machine vision systems
by: Rose, Valerie
Published: (2010)

Triangulated Formulaic Measurement and Â·Subjective Impression in Automatic Summarisation
by: Liang, Shao Fen
Published: (2008)

Correct synthesis and integration of compiler-generated function units
by: Ellis, Martin Andrew
Published: (2008)

Graph transformation and pointer structures
by: Dodds, Mike
Published: (2008)

Transformation and analysis of functional programs
by: Mitchell, Neil
Published: (2008)

Analytic knowledge discovery techniques for ad-hoc information retrieval and automatic text summarization
by: Goyal, Pawan
Published: (2011)

Data Transformation for Decision Tree Ensembles
by: Ahmad, Amir
Published: (2009)

A language to script refactoring transformations
by: Verbaere, Mathieu
Published: (2008)

Search Based Program Transformation and Slicing
by: Fatiregun, Ayodeji
Published: (2007)

On the synthesis of choreographies
by: Lange, Julien
Published: (2013)

Aspect-driven model transformations in model driven development
by: Liyanagama, Pulitha Lakmith
Published: (2009)

Synthesis of process flowsheets
by: Raymead, B.
Published: (1995)

A program transformation step prediction based reengineering approach
by: Li, Shaoyun
Published: (2007)

Compositional verification of model-level refactorings based on graph transformations
by: Bisztray, Dénes András
Published: (2010)

Transform layered stochastic gradient-type adaptive filtering structures
by: Kim, Dai Il
Published: (2000)

Detecting Prolog programming techniques using abstract interpretation
by: Bowles, Andrew W.
Published: (1992)

Cannot write session to /tmp/vufind_sessions/sess_3nbomi4n2bf4hd4qpkpgunh17o