Cargando…

SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation /

The complexity of modern embedded systems has increased rapidly in the recent past. Introducing models of computation into the design flow has significantly raised the abstraction in system level design of embedded systems. Establishing such high abstraction levels in common hardware /software co-de...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Molter, H. Gregor (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.
Edición:	1st ed. 2012.
Temas:	Computer science. Computer Science.
Acceso en línea:	Texto Completo

Ejemplares similares

Readings in hardware/software co-design /
por: De Micheli, Giovanni
Publicado: (2002)

Readings in hardware/software co-design /
por: De Micheli, Giovanni
Publicado: (2002)

Computer-Aided Design of User Interfaces VI
Publicado: (2009)

Learning Design A Handbook on Modelling and Delivering Networked Education and Training /
Publicado: (2005)

Software Engineering 2 Specification of Systems and Languages /
por: Bjørner, Dines
Publicado: (2006)

Computer-Aided Design of User Interfaces IV Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI '2004 /
Publicado: (2005)

Process Design for Natural Scientists An Agile Model-Driven Approach /
Publicado: (2014)

Evolvable Hardware
Publicado: (2006)

Software Engineering 3 Domains, Requirements, and Software Design /
por: Bjørner, Dines
Publicado: (2006)

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers /
Publicado: (2012)

Discrete and Topological Models in Molecular Biology
Publicado: (2014)

Interactive Systems. Design Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, Revised Papers /
Publicado: (2006)

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures /
Publicado: (2006)

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers /
Publicado: (2007)

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings /
Publicado: (2005)

Variations on Constants Flow Analysis of Sequential and Parallel Programs /
por: Müller-Olm, Markus
Publicado: (2006)

Human Work Interaction Design: Designing for Human Work The first IFIP TC 13.6 WG Conference: Designing for Human Work, February 13-15, 2006, Madeira, Portugal /
Publicado: (2006)

Analysis and Design of Information Systems
por: Langer, Arthur M.
Publicado: (2008)

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12,2013, Proceedings /
Publicado: (2013)

Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
Publicado: (2014)

Designing Socially Embedded Technologies in the Real-World
Publicado: (2015)

Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System /
por: Alfa, Attahiru Sule
Publicado: (2010)

Theory and Principled Methods for the Design of Metaheuristics
Publicado: (2014)

Design Patterns for e-Science
por: Gardner, Henry, et al.
Publicado: (2007)

Foundations of Algebraic Specification and Formal Software Development
por: Sannella, Donald, et al.
Publicado: (2012)

Modeling Time in Computing
por: Furia, Carlo A., et al.
Publicado: (2012)

Domain-Specific Conceptual Modeling Concepts, Methods and Tools /
Publicado: (2016)

Groupware: Design, Implementation, and Use 13th International Workshop, CRIWG 2007, Bariloche, Argentina, September 16-20, 2007, Proceedings /
Publicado: (2007)

Hardware Software Co-Design of a Multimedia SOC Platform
por: Chen, Sao-Jie, et al.
Publicado: (2009)

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006, Proceedings /
Publicado: (2006)

Groupware: Design, Implementation, and Use 12th International Workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006, Proceedings /
Publicado: (2006)

Haptic and Audio Interaction Design First International Workshop, HAID 2006, Glasgow, UK, August 31 - September 1, 2006, Proceedings /
Publicado: (2006)

Event-Driven Mobile Financial Information Services Design of an Intraday Decision Support System /
por: Muntermann, Jan
Publicado: (2007)

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

SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings /
Publicado: (2007)

Computable Models
por: turner, raymond
Publicado: (2009)

Composing Software Components A Software-testing Perspective /
por: Hamlet, Dick
Publicado: (2010)

Distributed Embedded Systems: Design, Middleware and Resources IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy /
Publicado: (2008)

Modelling Computing Systems Mathematics for Computer Science /
por: Moller, Faron, et al.
Publicado: (2013)

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments /
Publicado: (2007)