Formal construction of Instruction Set Architectures

Formal construction of Instruction Set Architectures

Bibliographic Details
Main Author:	Wright, Stephen
Published:	University of Bristol 2009
Subjects:	005.3
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508307

Similar Items

The design of computer instruction sets
by: McGregor, P. H. F.
Published: (1971)

Prescriptive formalism for constructing domain-specific evolutionary algorithms
by: Surry, Patrick David
Published: (1998)

Dependable compositions : a formal approach
by: Jefferson, Nigel Patrick
Published: (2007)

Generative templates for formal metamodel design
by: Wu, Nicolas
Published: (2010)

Consistent formal theories of the semantics of programming languages
by: Lauer, P. E.
Published: (1971)

A formal approach to modelling real-time critical systems
by: Veloudis, Simeon
Published: (2004)

A formal framework for the modelling of multi-agent systems with dynamic structure
by: Stamatopoulou, Ioanna
Published: (2008)

The pragmatic formalization of computing systems relative to a given high-level language
by: Cooke, Derek John
Published: (1976)

Resolution-based methods for linear-time temporal logics : with applications to formal verification
by: Ludwig, Michel
Published: (2010)

An Author Language and Supporting System for Computer Assisted Instruction
by: Ward, J. K.
Published: (1975)

Predictable dynamic software architectures
by: Chatley, Robert Ben
Published: (2005)

Code generation and structured architectures
by: Mullins, Judith Mary
Published: (1978)

Design, formalization and realization of harmonic box coordination language : an externally timed specification substrate for arbitrarily reliable distributed systems
by: George, Samuel R. J.
Published: (2014)

Architectural support for socio-technical systems
by: El-Hassan, Osama E. S.
Published: (2009)

Modelling business conversations in service component architectures
by: Abreu, João Pedro Abril de
Published: (2010)

View Consistency in Architectural Models of Dependable Systems
by: Radjenovic, Aleksandar
Published: (2008)

Algorithms and Architectures for Lossless Image and Video Compression
by: Chen, Xiaolin
Published: (2010)

Generative modelling with software product line architectures
by: Holmes, Christopher Kenneth
Published: (2007)

Modelling and interpretation of architecture from several images
by: Dick, A.
Published: (2002)

Extending web service architecture with a quality component
by: Eleyan, Amna
Published: (2007)

Illustrative non-photorealistic rendering techniques for GPU architectures
by: Sayeed, Rezwan
Published: (2010)

Combining rough and fuzzy sets for feature selection
by: Jensen, Richard
Published: (2004)

A service-oriented architecture and language for abstracted distributed algorithms
by: Goodman, Daniel
Published: (2007)

Model abstraction and reusability in a hierarchical architecture simulation environment
by: Williams, Lawrence
Published: (1999)

A clustered VLIW architecture based on queue register files
by: Fernandes, Marcio Merino
Published: (1998)

An Algol 68R Package for Handling Sets and graphs
by: Pintelas, P. E.
Published: (1976)

New pattern-based approaches for sevice-oriented architecture design and modelling
by: Hentrich, Carsten
Published: (2009)

A recursive virtual machine architecture : implementation and associated protection problems
by: White, Peter Roland
Published: (1979)

A compiler cost model for speculative multithreading chip-multiprocessor architectures
by: Dou, Jialin
Published: (2006)

Constructing Universes for Generic Programming
by: Morris, Peter W. J.
Published: (2007)

Analysing the Impact of Change on Finite State Machine Test Sets
by: Salahuddin, Sarah
Published: (2009)

Supporting the safe composition of services : an architecture based on separation of concerns and interaction resolution
by: Pang, Jianxiong
Published: (2009)

Using metaheuristics in feature construction and clustering
by: Nguyen, Quynh H.
Published: (2009)

The construction of recoverable multi-level systems
by: Verhofstad, Joost S. M.
Published: (1977)

The Construction and use of a Meta-Assembler
by: Fiddian, N. J.
Published: (1976)

Solving key design issues for massively multiplayer online games on peer-to-peer architectures
by: Fan, Lu
Published: (2009)

The applicability of hardware design strategies to improve software application performance in multi-core architectures
by: Quintal, Luis Fernando Curi
Published: (2014)

Optimisation of construction implemented as a manufacturing process
by: Al-Nasser, Ateeq A.
Published: (2001)

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

Broadening ontological horizons : constructing and recycling ecological ontologies
by: Hemsley-Flint, Fiona Claire
Published: (2007)