Cargando…

FASTBUS slave diagnostic software ans system verification

Detalles Bibliográficos
Autor principal:	Story, C M
Lenguaje:	eng
Publicado:	CERN 1985
Materias:	Computing and Computers
Acceso en línea:	https://dx.doi.org/10.5170/CERN-1985-015.58 http://cds.cern.ch/record/621166

Ejemplares similares

The DSM - A Fastbus dual Slave Memory for Data Acquisition
por: M\"uller, H, et al.
Publicado: (1985)

Plans for a CERN FASTBUS database and associated application software
por: Kozlovskii, T, et al.
Publicado: (1985)

Use of FASTBUS software in cern
por: Berners-Lee, Timothy J
Publicado: (1985)

FASTBUS software activity at SLAC
por: Sherden, D J
Publicado: (1985)

Status of FASTBUS software in the computing departement at FERMILAB
por: Cohen, A, et al.
Publicado: (1985)

Software for a FASTBUS segment manager/interface module
por: Yost, B T, et al.
Publicado: (1985)

FASTBUS software in the NA31 data acquisition environment
por: Peach, Kenneth J
Publicado: (1985)

Software environment of FASTBUS ADC's crate for NA31 experiment
por: Arnault, C
Publicado: (1985)

The XOP processor in FASTBUS
por: Lecoq, J, et al.
Publicado: (1985)

An integrated high-performance FASTBUS slave interface
por: Christiansen, J, et al.
Publicado: (1992)

An integrated high performance Fastbus slave interface
por: Christiansen, J, et al.
Publicado: (1993)

The FASTBUS segment extensison
por: Machen, D R
Publicado: (1985)

Status of FASTBUS in Europe
por: Föth, H
Publicado: (1982)

FASTBUS at colliding detector facility
por: Van Ingen, C
Publicado: (1985)

Interfacing slave designs to Fastbus: practical experience
por: Downing, R W, et al.
Publicado: (1988)

Work at NIKHEF-H on FASTBUS
por: Evers, G J, et al.
Publicado: (1985)

Proposed revision of the FASTBUS standard routines
por: Marsh, J, et al.
Publicado: (1985)

Systems and Software Verification: Model-Checking Techniques and Tools
por: Bérard, B, et al.
Publicado: (2001)

FBMON : a FASTBUS monitor program
por: Bertsch, Y
Publicado: (1985)

A FASTBUS to VME/VMX interface
por: Olivier, J, et al.
Publicado: (1985)

CERN supported FASTBUS interface routines
por: Rimmer, Elsie Margaret
Publicado: (1985)

A simple FASTBUS slave interface using PALs
por: Downing, R W, et al.
Publicado: (1984)

Specification for Fastbus Crate: Type F6852
por: Bianchetti, G, et al.
Publicado: (1991)

String analysis for software verification and security
por: Bultan, Tevfik, et al.
Publicado: (2018)

FASTBUS, a high-speed multi-segment bus
por: Müller, H
Publicado: (1984)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Standard embedded Control Software for the DELPHI Fastbus Readout System
por: Lucock, R M A, et al.
Publicado: (1987)

A simulation of the FASTBUS protocols
por: Booth, A W
Publicado: (1981)

Co-verification of hardware and software for ARM SoC design
por: Andrews, Jason
Publicado: (2004)

Le Web a quinze ans
por: Jean de la Perle, Etienne
Publicado: (2006)

Software for FASTBUS
por: Rimmer, Elsie Margaret
Publicado: (1989)

World Wide Web: 15 ans déjà!
Publicado: (2006)

Le Web fête ses quinze ans
por: Jousselin, Sophie
Publicado: (2006)

Biometric Technologies and Verification Systems
por: Vacca, John R
Publicado: (2007)

FASTBUS software in Europe
por: Rimmer, Elsie Margaret
Publicado: (1985)

FDAS, A Fastbus Data Acquisition package for DELPHI
por: Gavillet, Ph, et al.
Publicado: (1987)

Verification techniques for system-level design
por: Fujita, Masahiro, et al.
Publicado: (2008)

Implementation and verification of distributed control systems
por: Gerber, Christian
Publicado: (2011)

Fast and Efficient Entropy Compression of ALICE Data using ANS Coding
por: Lettrich, Michael
Publicado: (2020)

Eurographics Workshop on Design, Specification and Verification of Interactive Systems '97
por: Harrison, M D, et al.
Publicado: (1997)

Cannot write session to /tmp/vufind_sessions/sess_pt3fvlsedds03kemrk6iljv8fc