Correct hardware design and verification methods : :: SCD d'Orléans

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

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

These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working G...

Uloženo v:

Podrobná bibliografie
Korporativní autor:	IFIP WG10.2. Advanced research working conference :Arles
Další autoři:	Milne, George, 1952- (Šéfredaktor, odpovědný redaktor), Pierre, Laurence, 19..-...., auteur en informatique (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 683
Témata:	Conception assistée par ordinateur Informatique Circuits intégrés Ordinateurs > Équipement d'entrée-sortie Ordinateurs > Mémoires Structure logique Microprogrammation Unités arithmétiques et logiques Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Correct hardware design and verification methods, IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993, proceedings, George J. Milne, Laurence Pierre (eds.), 1993, Berlin, Springer-Verlag, 1 vol. (VI-269 p.), Lecture notes in computer science, 3-540-56778-X • Correct Hardware Design and Verification Methods, Texte imprimé, 9783662213858

Podobné jednotky

Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings

Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
Autor: Geist, Daniel

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

Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings

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

The complexity of simple computer architectures
Autor: Müller, Silvia M., 19..-, a další

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

Correct hardware design and verification methods : [8th] IFIP WG 10.5 advanced research working conference, CHARME'95, Frankfurt, Germany, October 2-4, 1995 : proceedings

LUCAS associative array processor : design, programming, and application studies
Autor: Fernstrom, Christer, 1951-, a další

Formal hardware verification : methods and systems in comparison
Autor: Kropf, Thomas, 1961-

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

P-Functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
Autor: Thayse, André, 1940-

FM8501 : a verified microprocessor
Autor: Hunt, Warren A. Jr., 1958-

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

Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 July 2, 1998 : proceedings

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

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

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

Towards evolvable hardware : the evolutionary engineering approach
Autor: Sanchez, Eduardo, 1953-

STACS 89 : 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 : proceedings

Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18 21, 1990 : proceedings

Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings : FST and TCS 6

Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

Prospects for hardware foundations : ESPRIT Working Group 8533, NADA - new hardware design methods, survey chapters
Autor: Möller, Bernhard, 1953-

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

The Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing
Autor: Robbins, Kay A., 1949-, a další

Languages and compilers for parallel computing : 11th International Workshop, LCPC 98 Chapel Hill, NC, USA, August 7 9, 1998 : proceedings

Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers

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

Pratique des circuits logiques
Autor: Bernard, Jean-Michel, 1943-, a další
Vydáno: (1987)

Languages and compilers for parallel computing : 6th International Workshop, Portland, Oregon, USA, August 12 14, 1993 : proceedings

Languages and compilers for parallel computing : fourth [4th] international workshop, Santa Clara, California, USA, August 7-9, 1991 : proceedings

Field-programmable logic and applications : 14th International Conference, FPL 2004, Antwerp, Belgium, August 30-September 1, 2004 : proceedings
Autor: Becker, Jürgen, 1929-

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

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

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, Texas, USA, November 1-3, 2000 : proceedings

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

Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3 5, 1997 : proceedings

Logique binaire : fonctions logiques et arithmétique binaire
Autor: Aumiaux, Michel
Vydáno: (1982)

© 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