Virtual Prototyping AADL Architectures in a Polychronous Model of Computation

doi 10.1109/memcod.2008.4547701
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Polychronous Automata and Their Use for Formal Validation of AADL Models

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2019English

Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Definition and Review of Virtual Prototyping

Journal of Computing and Information Science in Engineering
Computer GraphicsManufacturing EngineeringComputer Science ApplicationsComputer-Aided DesignIndustrialSoftware
2002English

Secure Silicon: Towards Virtual Prototyping

2017English

Citation Trend of Virtual and Physical Prototyping in 2017

Virtual and Physical Prototyping
Computer GraphicsSignal ProcessingManufacturing EngineeringSimulationIndustrialComputer-Aided DesignModeling
2017English

Virtual Prototyping of the Solar Tracking Systems

Renewable Energy and Power Quality Journal
Electronic EngineeringEnergy EngineeringRenewable EnergySustainabilityElectricalPower Technologythe Environment
2007English

An Efficient Computation Model for Coarse Grained Reconfigurable Architectures and Its Applications to a Reconfigurable Computer

2010English

Multi-Point Virtual Structure Constants and Mirror Computation of $CP^2$-model

Communications in Number Theory and Physics
Mathematical PhysicsNumber TheoryPhysicsAstronomyAlgebra
2013English

Virtual Prototyping Used as Validation Tool in Automotive Design

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy