Cover Image

QR Code

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers /

This book constitutes the refereed proceedings of the 22nd International Conference on Integrated Circuit and System Design, PATMOS 2012, held in Newcastle, UK Spain, in September 2012. The 25 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper fea...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Ayala, José L. (Editor, http://id.loc.gov/vocabulary/relators/edt), Shang, Delong. (Editor, http://id.loc.gov/vocabulary/relators/edt), Yakovlev, Alex. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:	1st ed. 2013.
Series:	Theoretical Computer Science and General Issues ; 7606
Subjects:	Computer system failures. Computer simulation. Computer communication systems. Microprocessors. Logic design. Programming languages (Electronic computers). System Performance and Evaluation. Simulation and Modeling. Computer Communication Networks. Register-Transfer-Level Implementation. Logic Design. Programming Languages, Compilers, Interpreters.
Online Access:	https://doi.org/10.1007/978-3-642-36157-9

Similar Items

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe.
Published: (2014)

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.
Published: (2013)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Stephen Jarvis, Steven Wright, Simon Hammond.
Published: (2018)

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.
Published: (2015)

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude / by Peter Csaba Ölveczky.
by: Ölveczky, Peter Csaba., et al.
Published: (2017)

Computational Methods in Systems Biology 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings / edited by Jérôme Feret, Heinz Koeppl.
Published: (2017)

Euro-Par 2020: Parallel Processing Workshops Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / edited by Bartosz Balis, Dora B. Heras, Laura Antonelli, Andrea Bracciali, Thomas Gruber, Jin Hyun-Wook, Michael Kuhn, Stephen L. Scott, Didem Unat, Roman Wyrzykowski.
Published: (2021)

Engineering Simulations as Scientific Instruments: A Pattern Language With Kieran Alden, Paul S. Andrews, James L. Bown, Alastair Droop, Richard B. Greaves, Mark Read, Adam T. Sampson, Jon Timmis, Alan F.T. Winfield / by Susan Stepney, Fiona A.C. Polack.
by: Stepney, Susan., et al.
Published: (2018)

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings / edited by Rio Yokota, Michèle Weiland, David Keyes, Carsten Trinitis.
Published: (2018)

Bionic Optimization in Structural Design Stochastically Based Methods to Improve the Performance of Parts and Assemblies / edited by Rolf Steinbuch, Simon Gekeler.
Published: (2016)

Advanced Concepts in Fuzzy Logic and Systems with Membership Uncertainty by Janusz T. Starczewski.
by: Starczewski, Janusz T., et al.
Published: (2013)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Computer Performance Engineering 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings / edited by András Horváth, Katinka Wolter.
Published: (2014)

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis.
Published: (2016)

Computer Performance Engineering 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / edited by Marta Beltrán, William Knottenbelt, Jeremy Bradley.
Published: (2015)

Dependable Software Engineering. Theories, Tools, and Applications 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / edited by Jun Pang, Lijun Zhang.
Published: (2020)

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / edited by Chao Li, Junjie Wu.
Published: (2018)

Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Zhenzhen Zhu.
Published: (2019)

Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / edited by Maurizio Gabbrielli.
Published: (2020)

Computer Engineering and Technology 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu.
Published: (2015)

Computer Engineering and Technology 17th National Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu.
Published: (2013)

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
Published: (2017)

Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan.
Published: (2016)

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers / edited by Yuanguo Bi, Gang Chen, Qingxu Deng, Yi Wang.
Published: (2018)

Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers / edited by Patricia Pesado, Claudio Aciti.
Published: (2019)

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers / edited by Lawrence Rauchwerger.
Published: (2019)

From Variability Tolerance to Approximate Computing in Parallel Integrated Architectures and Accelerators by Abbas Rahimi, Luca Benini, Rajesh K. Gupta.
by: Rahimi, Abbas., et al.
Published: (2017)

Introduction to Logic Circuits & Logic Design with VHDL by Brock J. LaMeres.
by: LaMeres, Brock J., et al.
Published: (2017)

Introduction to Logic Circuits & Logic Design with Verilog by Brock J. LaMeres.
by: LaMeres, Brock J., et al.
Published: (2017)

High-Level Synthesis from Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec.
Published: (2008)

Fundamentals of Electronic Systems Design by Jens Lienig, Hans Bruemmer.
by: Lienig, Jens., et al.
Published: (2017)

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
Published: (2016)

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings / edited by Michael Douglas Harrison, Mark-Alexander Sujan.
Published: (2008)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings / edited by Nadine Azemard, Lars Svensson.
Published: (2007)

Data-Driven 3D Facial Animation edited by Zhigang Deng, Ulrich Neumann.
Published: (2008)

Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers / edited by Vladimir Vishnevsky, Dmitry Kozyrev.
Published: (2016)

Euro-Par 2019: Parallel Processing Workshops Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers / edited by Ulrich Schwardmann, Christian Boehme, Dora B. Heras, Valeria Cardellini, Emmanuel Jeannot, Antonio Salis, Claudio Schifanella, Ravi Reddy Manumachu, Dieter Schwamborn, Laura Ricci, Oh Sangyoon, Thomas Gruber, Laura Antonelli, Stephen L. Scott.
Published: (2020)

High Performance Computing 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings / edited by Bradford L. Chamberlain, Ana-Lucia Varbanescu, Hatem Ltaief, Piotr Luszczek.
Published: (2021)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / edited by Dalibor Klusáček, Walfredo Cirne, Narayan Desai.
Published: (2018)