Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models

Medical genetics

Bibliographic Details
Main Author:	Peil, Pablo (auth)
Other Authors:	Herrera, Fernando (auth), Villar, Eugenio (auth)
Format:	eBook
Published:	InTechOpen 2012
Subjects:	Medical genetics Medicine
Online Access:	Get fulltext

Similar Items

Chapter Formal Foundations for the Generation of Heterogeneous Executable Specifications in SystemC from UML/MARTE Models
Published: (2012)

An Implementation of an Execution Engine for the Foundational UML Subset
by: Rundlöf, Magnus
Published: (2010)

Chapter Plasmonic Rectenna for Efficient Conversion of Light into Electricity
by: Alemu, Negash
Published: (2012)

Chapter Interlayer Processing in Active Matrix OLED Displays
by: Heremans, Paul
Published: (2011)

Chapter Interlayer Processing in Active Matrix OLED Displays
Published: (2011)

Chapter Plasmonic Rectenna for Efficient Conversion of Light into Electricity
Published: (2012)

The Implementation and Realization of a System Platform using UML and SystemC
by: Yu-Hsuan Teng, et al.
Published: (2008)

UML aprašų transformacijos į srities kalbą (VHDL,SystemC)
by: Aklys, Andrius
Published: (2006)

A System Design Methodology for Concurrency from UML to SystemC
by: Chi-Wei Lin, et al.
Published: (2007)

Toolset for SystemC code generation of heterogeneous platforms
by: Pavel Ivanov, et al.
Published: (2013-04-01)

Chapter Physics of Quasi-Monoenergetic Laser-Plasma Acceleration of Electrons in the Blowout Regime
by: Shadwick, Bradley A.
Published: (2011)

Chapter Moth-Like Chemo-Source Localization and Classification on an Indoor Autonomous Robot
by: Mathews, Zenon
Published: (2011)

Chapter Moth-Like Chemo-Source Localization and Classification on an Indoor Autonomous Robot
Published: (2011)

Chapter Physics of Quasi-Monoenergetic Laser-Plasma Acceleration of Electrons in the Blowout Regime
Published: (2011)

Hardware modeling of GPU geometric pipeline rasterization based on UML and SystemC
by: Chen Jia, et al.
Published: (2019-01-01)

PERANCANGAN ATURAN TRANSFORMASI UML â€“ SYSTEMC DALAM PERANCANGAN EMBEDDED SYSTEM
by: Maman Abdurohman, et al.
Published: (2012-05-01)

Chapter Immune System and Environmental Xenobiotics - The Effect of Selected Mineral Fibers and Particles on the Immune Response
by: Kovacikova, Zuzana
Published: (2012)

Chapter CREB Signaling in Neural Stem/Progenitor Cells: Implications for a Role in Brain Tumors
by: Mantamadiotis, Theo
Published: (2012)

Chapter Immune System and Environmental Xenobiotics - The Effect of Selected Mineral Fibers and Particles on the Immune Response
Published: (2012)

Chapter CREB Signaling in Neural Stem/Progenitor Cells: Implications for a Role in Brain Tumors
Published: (2012)

Chapter West Nile Virus: Basic Principles, Replication Mechanism, Immune Response and Important Genetic Determinants of Virulence
by: Athanasiou, Labrini V.
Published: (2013)

Chapter West Nile Virus: Basic Principles, Replication Mechanism, Immune Response and Important Genetic Determinants of Virulence
Published: (2013)

Chapter Beyond Dietary Fatty Acids as Energy Source: A Point of View for the Prevention and Management of Type 2 Diabetes
by: Ortega, Almudena
Published: (2011)

Chapter Beyond Dietary Fatty Acids as Energy Source: A Point of View for the Prevention and Management of Type 2 Diabetes
Published: (2011)

Quantitative Genetic Methods to Dissect Heterogeneity in Complex Traits
by: Bigdeli, T. Bernard
Published: (2012)

Possibility of SystemC code generation from SDL specification
by: Pavel Morozkin
Published: (2012-04-01)

Formal SystemC Verification based on Property-Directed Reachability
by: Kuan-Chang Wang, et al.
Published: (2012)

UML-B: Formal modelling and design aided by UML
by: Snook, Colin, et al.
Published: (2006)

Automatic generation of transactors in SystemC
by: Khan, Tareq Hasan
Published: (2007)

Foundations of Clinical Electrocardography
by: Germán Melo Mckormic, et al.
Published: (1998-03-01)

A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams
by: Lam, Vitus S. W.
Published: (2006)

Conquering the Scheduling Alternative Explosion Problem of Formal SystemC Verification
by: Chen-Kai Chu, et al.
Published: (2013)

Chromosome-Specific Telomere Length in Women with Breast Cancer: Their Relationship to Chemotherapy and Acquired Psychoneurological Symptoms
by: Alhareeri, Areej
Published: (2013)

UML Model Refactoring : Support for Maintenance of Executable UML Models
by: Dobrzanski, Lukasz
Published: (2005)

Foundations of Paleoparasitology
Published: (2014)

HEMLOCK: HEterogeneous ModeL Of Computation Kernel for SystemC
by: Patel, Hiren Dhanji
Published: (2011)

Chapter Functional Annotation of Rare Genetic Variants
by: Ritchie, Graham
Published: (2015)

Chapter Functional Annotation of Rare Genetic Variants
Published: (2015)

Chapter Biomethanol from Glycerol
by: Heeres, Hero J.
Published: (2012)

Chapter Temperature-dependent photoregulation in oceanic picophytoplankton during excessive irradiance exposure
by: de Vries, Pablo
Published: (2013)

Cannot write session to /tmp/vufind_sessions/sess_k3lu34hhvt9iv0n1knrl2n3i5v