Higher-Level Hardware Synthesis

Higher-Level Hardware Synthesis

In the mid 1960s, when a single chip contained an average of 50 transistors, Gordon Moore observed that integrated circuits were doubling in complexity every year. In an in?uential article published by Electronics Magazine in 1965, Moore predicted that this trend would continue for the next 10 years...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Sharp, Richard (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Σειρά:	Lecture Notes in Computer Science, 2963
Θέματα:	Engineering. Computer hardware. Microprocessors. Software engineering. Programming languages (Electronic computers). Computer logic. Electronics. Microelectronics. Electronics and Microelectronics, Instrumentation. Computer Hardware. Processor Architectures. Software Engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Optimized ASIP Synthesis from Architecture Description Language Models
ανά: Schliebusch, Oliver, κ.ά.
Έκδοση: (2007)

Innovations and Advances in Computer Sciences and Engineering
Έκδοση: (2010)

Electronic Engineering and Computing Technology
Έκδοση: (2010)

Introduction to Reconfigurable Computing Architectures, Algorithms, and Applications /
Έκδοση: (2007)

Fundamentals of Computer Organization and Design
ανά: Dandamudi, Sivarama P.
Έκδοση: (2003)

Practical Aspects of Embedded System Design using Microcontrollers
ανά: Parab, Jivan S., κ.ά.
Έκδοση: (2008)

A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /
ανά: Kovalev, Mikhail, κ.ά.
Έκδοση: (2014)

System Level Design of Reconfigurable Systems-on-Chip
Έκδοση: (2005)

System-level Test and Validation of Hardware/Software Systems
Έκδοση: (2005)

Real-Time Object Uniform Design Methodology with UML
Έκδοση: (2007)

Raspberry Pi GPU Audio Video Programming
ανά: Newmarch, Jan
Έκδοση: (2017)

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
Έκδοση: (2016)

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
Έκδοση: (2015)

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
Έκδοση: (2008)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Έκδοση: (2006)

Computer Arithmetic Algorithms and Hardware Implementations /
ανά: Vlăduţiu, Mircea
Έκδοση: (2012)

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Έκδοση: (2009)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Έκδοση: (2007)

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Έκδοση: (2011)

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Έκδοση: (2011)

Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog /
ανά: Ramachandran, S.
Έκδοση: (2007)

Fine- and Coarse-Grain Reconfigurable Computing
Έκδοση: (2007)

Interfacing with C++ Programming Real-World Applications /
ανά: Katupitiya, Jayantha, κ.ά.
Έκδοση: (2006)

The Verillog® Hardware Description Language
ανά: Thomas, Donald E., κ.ά.
Έκδοση: (2002)

Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
Έκδοση: (2009)

Application and Theory of Petri Nets and Concurrency 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings /
Έκδοση: (2015)

Model Checking Software 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
Έκδοση: (2015)

Integration of Software Specification Techniques for Applications in Engineering Priority Program SoftSpez of the German Research Foundation (DFG), Final Report /
Έκδοση: (2004)

Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings /
Έκδοση: (2014)

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
Έκδοση: (2007)

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
Έκδοση: (2008)

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /
Έκδοση: (2009)

Specification of Software Systems
ανά: Alagar, V.S, κ.ά.
Έκδοση: (2011)

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers /
Έκδοση: (2014)

Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
Έκδοση: (2005)

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
Έκδοση: (2006)

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Έκδοση: (2005)

Model-Based Testing of Reactive Systems Advanced Lectures /
Έκδοση: (2005)

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
Έκδοση: (2012)

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Έκδοση: (2013)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών