FM8501 : :: SCD d'Orléans

FM8501 : a verified microprocessor

FM8501 : a verified microprocessor

The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach pe...

Fuld beskrivelse

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Hunt, Warren A. Jr., 1958-
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science. Lecture notes in artificial intelligence 795
Fag:	Informatique Intelligence artificielle Logique symbolique et mathématique Microprocesseurs Ordinateurs > Équipement d'entrée-sortie Structure logique Unités arithmétiques et logiques
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• FM8501, a verified microprocessor, Warren A. Hunt, Jr, Berlin, Springer-Verlag, 1994, 1 vol. (VII-333 p.), Lecture notes in computer science, 0-387-57960-5 • FM8501: A Verified Microprocessor, Texte imprimé, 9783662195932

Lignende værker

Advances in computer systems architecture : 8th Asia-Pacific conference, ACSAC 2003, Aizu-Wakamatsu, Japan, September 23-26, 2003 : proceedings

Advances in computer systems architecture : 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004 : proceedings
af: Yew, Pen-Chung, 1950-

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

The complexity of simple computer architectures
af: Müller, Silvia M., 19..-, et autres

Exploitation of fine-grain parallelism
af: Böckle, Günter

Dependable computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4 6, 1994 : proceedings

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Parallel architectures and their efficient use : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 : proceedings

The data parallel programming model : foundations, HPF realization, and scientific applications
af: Perrin, Guy-René

Field-programmable logic and applications : 9th International Workshop, FPL 99, Glasgow, UK, August 30 - September 1, 1999 : proceedings

Field-programmable logic and applications : from FPGAs to computing paradigm : 8th International Workshop, FPL '98, Tallinn, Estonia, August 31 September 3, 1998 : proceedings

The Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing
af: Robbins, Kay A., 1949-, et autres

LUCAS associative array processor : design, programming, and application studies
af: Fernstrom, Christer, 1951-, et autres

STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

CONPAR 86 : conference on algorithms and hardware for parallel processing, Aachen, September 17-19, 1986 : proceedings

Integrated circuit design : power and timing modeling, optimization, and simulation : 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 : proceedings

Recent advances in parallel virtual machine and message passing interface : 7th European PVM/MPI Users Group Meeting, Balatonfüred, Hungary, September 10 13, 2000 : proceedings

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Job scheduling strategies for parallel processing : 8th international workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002 : revised papers

Job scheduling strategies for parallel processing : 9th international workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003 : revised papers

Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29 October 1, 1986

Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings

Inductive logic programming : 13th international conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003 : proceedings

Foundations of inductive logic programming
af: Nienhuys-Cheng, Shan-Hwei, 1943-, et autres

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : proceedings
af: Macii, Enrico

Recent advances in parallel virtual machine and message passing interface : 8th European PVM/MPI Users Group Meeting, Santorini/Thera, Greece, September 23 26, 2001 : proceedings

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
af: Dyckhoff, Roy, 1948-

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
af: Bruynooghe, Maurice

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20 22, 1995 : proceedings

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
af: Schmid, Ute

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25 27, 1995 : proceedings

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Udgivet: (2015)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales