Formal methods in the development of the H1 Transputer

Formal methods in the development of the H1 Transputer

Показать другие версии (1)

Библиографические подробности
Главные авторы:	Roscoe, A, Cox, A, Goldsmith, M, Scattergood, J
Формат:	Conference item
Опубликовано:	IOS 1991

Схожие документы

Formal Methods in the development of the H1 transputer
по: Roscoe, A, и др.
Опубликовано: (1991)

TRANSPUTER ARCHITECTURES FOR SENSING IN A ROBOT CONTROLLER - FORMAL METHODS FOR DESIGN
по: Probert, P, и др.
Опубликовано: (1991)

Formal Methods: Why Should I Care? The Development of the T800 Transputer Floating−Point Unit
по: Gibbons, J
Опубликовано: (1993)

Transputer system for image restoration
по: Sim, Siong Leng.
Опубликовано: (2008)

Occam and Fortran programs on transputers /
по: 175489 Nasir Shaikh Husin

MONTE-CARLO SIMULATION ON TRANSPUTER ARRAYS
по: Askew, C, и др.
Опубликовано: (1988)

The transputer and occam: A personal story
по: Hoare, C
Опубликовано: (1991)

Occam and Fortran programs on transputers / [mikrofilem]
по: 175489 Nasir Shaikh Husin

SIMULATION OF STATISTICAL MECHANICAL SYSTEMS ON TRANSPUTER ARRAYS
по: Askew, C, и др.
Опубликовано: (1986)

The transputer in multi-processing image analysis algorithms
по: Or, James Lye Chin.
Опубликовано: (2009)

TRANSPUTER-BASED REAL-TIME ROBOT CONTROL
по: Sharkey, P, и др.
Опубликовано: (1990)

Parallel processing in control : the transputer and other architectures /
по: Fleming, P. I.
Опубликовано: (1988)

TRANSPUTER ARCHITECTURE FOR SENSOR-GUIDED CONTROL OF MOBILE ROBOTS
по: Hu, H, и др.
Опубликовано: (1993)

Performance studies on application of transputer system in image processing
по: Woon, Fiona Wai Teng.
Опубликовано: (2009)

High efficiency data transmission using transputer technology
по: Ngai, Chee Kin.
Опубликовано: (2009)

Implementation of an industrial neural controller based on transputer systems
по: Song, Qing.
Опубликовано: (2008)

Transputer instruction set : a compiler writer's guide /
по: INMOS Limited
Опубликовано: (1988)

Transputer research and applications 6 : proceedings of the Sixth Conference of the North American Transputer Users Group, May 10-11, 1993, Vancouver, Canada /
по: Atkins, Stella, и др.
Опубликовано: (1993)

Development of a cost-effective high performance pattern analyzer using transputer system
по: Soong, Boon Hee.
Опубликовано: (2011)

Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
по: Roscoe, A, и др.
Опубликовано: (1995)

A TRANSPUTER NETWORK FOR REAL-TIME CONTROL OF AN INTELLIGENT MOBILE ROBOT
по: Hu, H, и др.
Опубликовано: (1994)

TRANSPUTER CONTROL OF A PUMA-560 ROBOT VIA THE VIRTUAL BUS
по: Daniel, R, и др.
Опубликовано: (1990)

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock
по: Roscoe, A, и др.
Опубликовано: (1995)

Formal Verification of Arbitrary Network Topologies
по: Roscoe, A, и др.
Опубликовано: (1999)

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.
по: Agrafiotis, I, и др.
Опубликовано: (2010)

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements
по: Agrafiotis, I, и др.
Опубликовано: (2011)

Timing performance analysis of transputer-based algorithms for multivariable process control applications
по: Kok, Chia Phei.
Опубликовано: (2009)

FDR2 user manual
по: Gardiner, P, и др.
Опубликовано: (2000)

A transputer-based PID/Neural network controller for DC servo motor control
по: Kommalur Giridhara.
Опубликовано: (2009)

Training set parallel implementations and analysis of backpropagation neural networks in a transputer array
по: Foo, Shou King.
Опубликовано: (2009)

Teaching Formal Methods in Context
по: Davies, J, и др.
Опубликовано: (2004)

Teaching Formal Methods in Context
по: Davies, J, и др.
Опубликовано: (2004)

Teaching Formal Methods in Context
по: Davies, J, и др.
Опубликовано: (2004)

Formal methods for design automation application development
по: Bachrach, Hillel E
Опубликовано: (2008)

Applying formal methods to describe the privacy−control requirements in real case−study scenario: emerging ambiguities and proposed solutions
по: Goldsmith, N
Опубликовано: (2010)

Modern formal methods and applications /
по: Gabbar, Hossam A
Опубликовано: (2006)

A Case Study of the Formal Specification of a Parallel System using CSP
по: Roscoe, A, и др.
Опубликовано: (1997)

Integrated Formal Methods
Опубликовано: (2007)

Integrated Formal Methods
Опубликовано: (2007)

Teaching Formal Methods
Опубликовано: (2009)