General theory relating to the implementation of concurrent symbolic computation

General theory relating to the implementation of concurrent symbolic computation

Bibliographic Details
Main Author:	Clarke, Thomas James Woodchurch
Published:	University of Cambridge 1989
Subjects:	005 Multiprocessor architecture
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.257303

Similar Items

Architecture mechanics for software directed management of coherent caches
by: Shah, Gautam H.
Published: (2006)

Parallel parsing of context-free languages on an array of processors
by: Langlois, Laurent Chevalier
Published: (1988)

THE REAL/STAR 2000: A HIGH PERFORMANCE MULTIPROCESSOR COMPUTER FOR TELEMETRY APPLICATIONS
by: Furht, B., et al.
Published: (1991)

Emulation of a virtual shared memory architecture
by: Raina, Sanjay
Published: (1993)

A special instruction set multiple chip computer for DSP : architecture and compiler design
by: Curtis, Bryce Allen
Published: (2007)

A MULTIPROCESSOR KERNEL AND MONITOR FOR IMAGE PROCESSING APPLICATIONS USING 286/10 SINGLE BOARD COMPUTERS
by: Kennedy, Timothy James, 1958-
Published: (1986)

The design of a multiprocessor development system
by: Anderson, Thomas Lee
Published: (2005)

Architectural Support for High-Performance, Power-Efficient and Secure Multiprocessor Systems
by: An, Baik Song
Published: (2012)

Multiprocessor scheduling with memory constraints
by: Lau, H. T. (Hang Tong), 1952-
Published: (1978)

Dynamic resource allocation and interprocess communication in multiprocessor systems
by: Fanourgiakis, Demetrios.
Published: (1978)

A high performance fault tolerant cache memory for multiprocessors
by: Luo, Xiao
Published: (2018)

Methods and tools for rapid and efficient parallel implementation of computer vision algorithms on embedded multiprocessors
by: Schwambach, Vítor
Published: (2016)

Evaluating the Scalability of SDF Single-chip Multiprocessor Architecture Using Automatically Parallelizing Code
by: Zhang, Yuhua
Published: (2004)

Nearest neighbor affinity scheduling in heterogeneous multi-core architectures
by: Fadi N. Sibai
Published: (2008-10-01)

VHDL-based conceptual prototyping of embedded DSP architectures
by: Dung, Lan-Rong
Published: (2007)

Use of synchronous concurrent algorithms in the development of safety related software
by: Tacy, Adam James
Published: (2005)

SMART: a tool for the study of the ACM model of concurrent computation
by: Yuknavech, Richard Edward.
Published: (2015)

The design and implementation of a concurrent programming language for large grain MIMD computers
by: Chan, C. Y.
Published: (1988)

PROTEUS, a microprogrammable, multiprocessor computer
by: Kesselman, Joseph Jay
Published: (2005)

Computing symbolic bisimulations for multiway synchronising processes
by: Ross, Brian
Published: (2004)

Implementations and analysis of three parallel branch-and-bound algorithms for the vertex covering problem
by: Zariffa, Nohad.
Published: (1986)

Implementing and extending Concurrent METATEM
by: Kellett, Adam
Published: (2001)

A design synthesis environment for DSP algorithms represented by shift-invariant flow graphs
by: Kim, Hyeong-Kyo
Published: (2007)

A multiprocessor system with applications to hexapod vehicle control.
by: Wahawisan, Weerakiat
Published: (1981)

Studies in the design and implementation of programming languages for symbol manipulation
by: Rees, D. J.
Published: (1970)

Expansible Network-on-Chip Architecture
by: PIRES, I. L. P., et al.
Published: (2018-05-01)

Design and analysis of robust algorithms for fault tolerant computing
by: Jang, Jai Eun
Published: (2013)

An Implementation of Cross Architecture Procedure Call
by: Laeeq, Khan M
Published: (2005)

Reducing the Area and Energy of Coherence Directories in Multicore Processors
by: Zebchuk, Jason
Published: (2013)

Reducing the Area and Energy of Coherence Directories in Multicore Processors
by: Zebchuk, Jason
Published: (2013)

Theories of translation correctness for concurrent programming languages
by: Millington, M.
Published: (1985)

Implementation of coarse-grain coherence tracking support in ring-based multiprocessors
by: Coté, Edmond A.
Published: (2007)

Formal analysis of concurrent programs
by: Armstrong, Alasdair
Published: (2015)

Reliable massively parallel symbolic computing : fault tolerance for a distributed Haskell
by: Stewart, Robert
Published: (2013)

Code generation for multiprocessor distributed computing systems
by: Victor Volkov, et al.
Published: (2017-11-01)

An implementation of ray tracing algorithm for the multiprocessor machines
by: Samardžić Aleksandar B., et al.
Published: (2006-01-01)

A methodology for automated design of computer instruction sets
by: Bennett, J. P.
Published: (1987)

Non-symbolic fragmentation cryptographic algorithms
by: Coupe, Henry David James
Published: (2005)

Expandable multiprocessor using low cost microprocessors
by: Olson, Joseph Augustine, 1959-
Published: (1989)

The architecture of a multimedia multiprocessor
by: Choi, Keung-Sik
Published: (2012)