Integrated circuit and system design : :: SCD d'Orléans

Integrated circuit and system design : power and timing modeling, optimization and simulation : 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004 : 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

WelcometotheproceedingsofPATMOS2004,thefourteenthinaseriesofint- national workshops. PATMOS 2004 was organized by the University of Patras with technical co-sponsorship from the IEEE Circuits and Systems Society. Over the years, the PATMOS meeting has evolved into an important - ropean event, where...

保存先:

書誌詳細
第一著者:	Macii, Enrico
団体著者:	PATMOS 2004 (著者)
その他の著者:	Paliouras, Vassilis (出版デイレクター), Koufopavlou, Odysseas (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 3254
主題:	Électrotechnique Informatique Circuits intégrés à très grande échelle Systèmes informatiques > Pannes Microprocesseurs Structure logique Circuits intégrés > Conception assistée par ordinateur Unités arithmétiques et logiques Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Integrated circuit and system design, power and timing modeling, optimization and simulation, 14th International Workshop, PATMOS 2004, Santorinim, Greece, September 15-17, 2004, proceedings, Enrico Macii, Vassilis Paliouras and Odysseas Koufopavlou (eds.), Berlin, Springer, 2004, 1 vol. (XVI-910 p.), Lecture notes in computer science, 3-540-23095-5 • Integrated Circuit and System Design, Texte imprimé, 9783662169407

類似資料

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 design : Power and Timing Modeling, Optimization and Simulation : 12th International Workshop, PATMOS 2002, Seville, Spain, September 11-13, 2002 : proceedings

Integrated circuit and system design : power and timing modeling, optimization and simulation : 13th International Workshop, PATMOS 2003, Turin, Italy, September 10-12, 2003 : proceedings

The complexity of simple computer architectures
著者:: Müller, Silvia M., 19..-, 等

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

Circuits logiques de traitement numérique de l'information
著者:: Chinal, Jean
出版事項: (1979)

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

Logic Minimization Algorithms for VLSI Synthesis
著者:: Brayton, Robert King, 1933-, 等

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

Trace theory and VLSI design
著者:: Van de Snepscheut, Jan L. A., 1953-1994

Logique arithmétique et techniques synchrones : arithmétique binaire et décimale, conception synchrone des ASICs et des FPGAs
著者:: Aumiaux, Michel
出版事項: (1996)

Montages à composants programmables
著者:: Gueulle, Patrick
出版事項: (1993)

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 : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L Aquila, Italy, October 21-24, 2003 : proceedings
著者:: Geist, Daniel

Circuits logiques intégrés : fonctions, technologies, performances, densités
著者:: Lyon-Caen, Robert, 1926-2009
出版事項: (1982)

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

Pratique des circuits logiques
著者:: Bernard, Jean-Michel, 1943-, 等
出版事項: (1990)

Cours pratique de logique pour microprocesseurs : systèmes de numération, logique booléenne, circuits combinatoires et séquentiels, mémoires et registres, microprocesseurs
著者:: Lilen, Henri, 1929-
出版事項: (1986)

Circuits logiques et automatismes à séquences
著者:: Naslin, Pierre, 1920-2009
出版事項: (1965)

Embedded processor design challenges : systems, architectures, modeling, and simulation - SAMOS
著者:: Deprettere, Ed F., 1944-

Formal methods in computer aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

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

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

De la logique câblée aux microprocesseurs. Méthodes de conception de systèmes
著者:: Bernard, Jean-Michel, 1943-, 等
出版事項: (1980)

De la logique cablée aux microprocesseurs. Application des méthodes de synthèse
著者:: Bernard, Jean-Michel, 1943-, 等
出版事項: (1985)

Introduction aux microprocesseurs
著者:: Gilmore, Charles M.
出版事項: (1982)

De la logique câblée aux microprocesseurs. Application des méthodes de synthèse
著者:: Bernard, Jean-Michel, 1943-, 等
出版事項: (1979)

De la logique câblée aux microprocesseurs. Application des méthodes de synthèse
著者:: Bernard, Jean-Michel, 1943-, 等
出版事項: (1980)

Evolvable systems : from biology to hardware : Second International Conference, ICES 98, Lausanne, Switzerland, September 23 25, 1998 : proceedings

CAO de circuits et de systèmes intégrés
著者:: Mahdoum, Ali
出版事項: (2020)

Analyse et synthèse des systèmes logiques
著者:: Mange, Daniel, 1940-
出版事項: (1981)

De la logique câblée aux microprocesseurs Applications directes des circuits fondamentaux
著者:: Bernard, Jean-Michel, 1943-, 等
出版事項: (1979)

De la logique câblée aux microprocesseurs. Circuits combinatoires et séquentiels fondamentaux
著者:: Bernard, Jean-Michel, 1943-, 等
出版事項: (1979)

Circuits numériques et synthèse logique : un outil : VHDL
著者:: Weber, Jacques, 1946-...., professeur de technologie, 等
出版事項: (1995)

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

Analysis and design of analog integrated circuits
著者:: Gray, Paul R., 1942-, 等
出版事項: (2010)

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

Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple
著者:: Sérot, Jocelyn
出版事項: (2019)

Les circuits FPGA et le langage VHDL : une introduction pour les programmeurs et par l'exemple
著者:: Sérot, Jocelyn
出版事項: (2019)

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

© 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