Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings /

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings /

Welcome to the proceedings of PATMOS 2005, the 15th in a series of international workshops.PATMOS2005wasorganizedbyIMECwithtechnicalco-sponsorshipfrom the IEEE Circuits and Systems Society. Over the years, PATMOS has evolved into an important European event, where - searchers from both industry and...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Paliouras, Vassilis (Επιμελητής έκδοσης), Vounckx, Johan (Επιμελητής έκδοσης), Verkest, Diederik (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:	Lecture Notes in Computer Science, 3728
Θέματα:	Computer science. Arithmetic and logic units, Computer. Logic design. Computer software > Reusability. Microprocessors. Computer-aided engineering. Electrical engineering. Computer Science. Logic Design. Performance and Reliability. Processor Architectures. Arithmetic and Logic Structures. Computer-Aided Engineering (CAD, CAE) and Design. Electrical Engineering.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers /
Έκδοση: (2015)

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers /
Έκδοση: (2013)

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers /
Έκδοση: (2013)

Design, Analysis and Test of Logic Circuits Under Uncertainty
ανά: Krishnaswamy, Smita, κ.ά.
Έκδοση: (2013)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings /
Έκδοση: (2006)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings /
Έκδοση: (2007)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers /
Έκδοση: (2009)

Spectral Interpretation of Decision Diagrams
ανά: Stanković, Radomir S., κ.ά.
Έκδοση: (2003)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings /
Έκδοση: (2007)

Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings /
Έκδοση: (2005)

Transactions on High-Performance Embedded Architectures and Compilers I
Έκδοση: (2007)

High Performance Embedded Architectures and Compilers First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005. Proceedings /
Έκδοση: (2005)

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers /
Έκδοση: (2005)

Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings /
Έκδοση: (2007)

New Algorithms, Architectures and Applications for Reconfigurable Computing
Έκδοση: (2005)

High Performance Embedded Architectures and Compilers 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings /
Έκδοση: (2010)

Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings /
Έκδοση: (2006)

High Performance Embedded Architectures and Compilers Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings /
Έκδοση: (2009)

High Performance Embedded Architectures and Compilers Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings /
Έκδοση: (2008)

Transactions on High-Performance Embedded Architectures and Compilers III
Έκδοση: (2011)

Transactions on High-Performance Embedded Architectures and Compilers IV
Έκδοση: (2011)

Design of Energy-Efficient Application-Specific Instruction Set Processors
ανά: Glökler, Tilman, κ.ά.
Έκδοση: (2004)

Practical Introduction to Computer Architecture
ανά: Page, Daniel
Έκδοση: (2009)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers /
Έκδοση: (2007)

Transactions on Computational Science XXIV Special Issue on Reversible Computing /
Έκδοση: (2014)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

ESL Models and their Application Electronic System Level Design and Verification in Practice /
ανά: Bailey, Brian, κ.ά.
Έκδοση: (2010)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Job Scheduling Strategies for Parallel Processing 14th International Workshop, JSSPP 2009, Rome, Italy, May 29, 2009. Revised Papers /
Έκδοση: (2009)

Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits /
ανά: Ben Jamaa, M. Haykel
Έκδοση: (2011)

Thermal and Power Management of Integrated Circuits
ανά: Vassighi, Arman, κ.ά.
Έκδοση: (2006)

Synthesis and Optimization of DSP Algorithms
ανά: Constantinides, George A., κ.ά.
Έκδοση: (2004)

Trade-Offs in Analog Circuit Design The Designer’s Companion /
Έκδοση: (2002)

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings /
Έκδοση: (2005)

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing /
Έκδοση: (2013)

Design of Embedded Control Systems
ανά: Adamski, Marian Andrzej, κ.ά.
Έκδοση: (2005)

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