System Specification and Design Languages Selected Contributions from FDL 2010 /
This book brings together a selection of the best papers from the thirteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in Southampton, UK in September 2010. FDL is a well established international forum devoted to dissemination of research results,...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
New York, NY :
Springer New York,
2012.
|
| Έκδοση: | 1. |
| Σειρά: | Lecture Notes in Electrical Engineering,
106 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors
- Evaluating Debugging Algorithms from a Qualitative Perspective
- Mapping of Concurrent Object-oriented Models to Extend Real-time Task Networks
- SystemC-A Modelling of Mixed-technology Systems with Distributed Behaviour
- A Framework for Interactive Refinement of Mixed HW/SW/Analog Systems
- Bottom-up Verification for CMOS Photonic Linear Heterogeneous System
- Towards Abstract Analysis Techniques for Range Based System Simulations
- Modeling Time-triggered Architecture Based Real-time Systems Using SystemC
- Towards the Development of a Set of Transaction Level Models - A Feature-oriented Approach
- Rapid Prototyping of Complex HW/SW Systems Using a Timing and Power Aware ESL Framework
- Towards Accurate Source-level Annotation of Low-level Properties Obtained from Optimized Binary Code
- Architecture Specifications in CλaSH
- SyReC: A Programming Language for Synthesis of Reversible Circuits
- Logical Time @ Work: Capturing Data Dependencies and Platform Constraints
- Formal Support for Untimed MARTE-SystemC Interoperability.
