Integrated circuit and system design. power and timing modeling, optimization, and simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /

Integrated circuit and system design. power and timing modeling, optimization, and simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers /

Sparad:

Bibliografiska uppgifter
Institutionell upphovsman:	SpringerLink (Online service)
Övriga upphovsmän:	Sicard, Gilles, Leuken, Ren©♭
Materialtyp:	E-bok
Språk:	English
Publicerad:	Berlin, Heidelberg Springer Berlin 2011.
Serie:	Lecture Notes in Computer Science, 6448
Ämnen:	Computer science Computer Communication Networks Computer system performance Software engineering Computer software Logic design Computer simulation
Länkar:	Click here to view the full text content
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Liknande verk

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
Publicerad: (2013)

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Integrated circuit and system design. power and timing modeling, optimization and simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, revised selected papers /
Publicerad: (2010)

Multi-agent-based simulation XI International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers /
Publicerad: (2011)

Computer performance engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Publicerad: (2014)

Integrated circuit and system design. Power and timing modeling, optimization and simulation : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings /
Publicerad: (2007)

Foundational and practical aspects of resource analysis second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, revised selected papers /
Publicerad: (2012)

Foundational and practical aspects of resource analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
Publicerad: (2014)

Integrated formal methods 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
Publicerad: (2010)

Testbeds and research infrastructures. Development of networks and communities 6th international ICST conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, revised selected papers /
Publicerad: (2011)

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
Publicerad: (2010)

Algorithms for sensor systems 6th international workshop on algorithms for sensor systems, wireless Ad Hoc networks, and autonomous mobile entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, revised selected papers /
Publicerad: (2010)

Hybrid metaheuristics 7th international workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings /
Publicerad: (2010)

Multi-agent-based simulation XII : International workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers /
Publicerad: (2012)

Model-driven engineering languages and systems : 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings /
Publicerad: (2014)

Model driven engineering languages and systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings /
Publicerad: (2012)

Model-driven engineering languages and systems : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings /
Publicerad: (2013)

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers /
Publicerad: (2007)

Ad hoc networks second international conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, revised selected papers /
Publicerad: (2010)

Formal techniques for computer systems and business processes European performance engineering workshop, EPEW 2005 and International workshop on web services and formal methods, WS-FM 2005, Versailles, France, September
av: Bravetti, Mario
Publicerad: (2005)

Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
Publicerad: (2012)

Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
Publicerad: (2013)

Rewriting logic and its applications : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Publicerad: (2014)

Reachability problems 4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /
Publicerad: (2010)

Implementation and application of automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /
Publicerad: (2009)

Rewriting logic and its applications 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, revised selected papers /
Publicerad: (2010)

Business process management 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings /
Publicerad: (2010)

Job scheduling strategies for parallel processing 15th international workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, revised selected papers /
Publicerad: (2010)

Testbeds and research infrastructure. development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers /

Implementation and application of automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Models in software engineering workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
Publicerad: (2010)

Models in software engineering : Workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and revised selected papers /
Publicerad: (2012)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Publicerad: (2013)

Theory and applications of satisfiability testing - SAT 2010 13th international conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Publicerad: (2010)

Life system modeling and intelligent computing international conference on life system modeling and simulation, LSMS 2010, and international conference on intelligent computing for sustainable energy and environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II /
Publicerad: (2010)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Publicerad: (2012)

Quantum circuit simulation
av: Viamontes, George F.
Publicerad: (2009)

Reachability problems 6th International workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Publicerad: (2012)

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Publicerad: (2014)

Analytical and stochastic modeling techniques and applications : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings /
Publicerad: (2012)