|
Custom Dynamic Memory Allocation Tool |
03/30/2020 - 19:53 |
|
CRISP - A dynamically reconfigurable many-core platform for streaming applications. |
10/11/2012 - 06:15 |
|
CRAVE - CRAVE: An Advanced Constrained Random Verification Environment for SystemC |
07/02/2012 - 10:50 |
|
Coplan for ADS |
10/26/2012 - 16:43 |
|
Constraint-Engineering-System |
10/26/2012 - 16:43 |
|
Configuration Tool and FPGA-Prototype of a Hardware Packet Processing System |
04/22/2013 - 15:19 |
|
CoMPSoC: Virtual Platforms for Energy Efficient Execution of Mixed Time-Criticality Applications |
10/02/2012 - 11:38 |
|
COMPLEX_UML_MARTE: The COMPLEX Eclipse Framework for UML/MARTE Specification of Embedded Systems and Automatic Generation of Executable Models for Design Space Exploration |
10/01/2012 - 19:37 |
|
Co-simulation tools for Networked Embedded Systems |
10/26/2012 - 16:43 |
|
Chip Design Constraint Checker |
06/20/2012 - 10:18 |
|
CHAMELEON: A CHAracterization and ModELing EnvirONment |
03/30/2020 - 19:22 |
|
CandoGen – A Property-Based Model Generator |
03/30/2020 - 19:53 |
|
CAIRO+ |
03/30/2020 - 19:53 |
|
CAERT - Compiler Assisted Energy Reduction Techniques for Embedded Processors |
07/04/2012 - 15:08 |
|
CAD tools dedicated to the design and test of RFICs |
03/30/2020 - 19:53 |
|
C++TESK: Testing ToolKit |
07/04/2012 - 16:16 |
|
C++TESK Testing ToolKit |
12/27/2012 - 10:46 |
|
Bounded Property Checking with SymC |
03/30/2020 - 19:22 |
|
Bounded Model Checker Using Property Based Automated Abstractions |
10/26/2012 - 16:43 |
|
Bist for RAm IN Seconds |
10/26/2012 - 16:43 |
|
Biological Information Sensing Systems |
06/20/2012 - 12:36 |
|
BESST tool kit: VERISYN |
10/26/2012 - 16:43 |
|
BESST tool kit: VERISAT |
10/26/2012 - 16:43 |
|
BESST tool kit: VERIMAP |
10/26/2012 - 16:43 |
|
BESST tool kit: PN2DC |
10/26/2012 - 16:43 |
|
BESST tool kit: OPTIMIST |
10/26/2012 - 16:43 |
|
BESST tool kit: CONFRES |
10/26/2012 - 16:43 |
|
BESST tool kit |
10/26/2012 - 16:43 |
|
BAMBU: An Open Source Framework for High Level Synthesis of Complex Applications |
07/04/2012 - 15:59 |
|
AUTOPILOT - Integrated System for Automatic Personal Identification and Indoor Localization and Tracking |
07/04/2012 - 15:32 |
|
Automotive Ethernet Optimization: Design Space Exploration for modern Automotive Ethernet-based E/E Architectures |
07/04/2012 - 15:57 |
|
Automatic Design Space Exploration for SystemC Models |
03/30/2020 - 19:23 |
|
Automated metal interconnect structure generation |
04/22/2013 - 15:25 |
|
ATLAS - A Framework for NoC Generation and Evaluation |
07/04/2012 - 15:05 |
|
Asynchronous Micropipeline Synthesis Flow |
04/22/2013 - 15:28 |
|
ASTEROID: an analyzable, resilient real-time operating system design |
07/04/2012 - 16:42 |
|
ASTERICS - A platform for the simulation of radiation effects on processors by fault injection |
07/04/2012 - 15:37 |
|
ASPV: application-specific vector co-processor for embedded DSP in FPGAs |
03/30/2020 - 19:21 |
|
Analoge Struktursynthese anhand eines Operationsverstärkers |
11/30/2012 - 15:27 |
|
Analog Performance Explorer |
09/09/2019 - 18:12 |
|
Analog Insydes |
03/30/2020 - 19:22 |
|
Analog Circuits: Explorative Synthesis of Topologies |
10/02/2012 - 17:34 |
|
An Integrated Environment for P1500 Compliance Checking |
03/30/2020 - 18:36 |
|
An ESL Workbench for early MPSoC Design Space Exploration |
04/18/2013 - 16:14 |
|
An ASIP Design Environment |
10/31/2012 - 13:22 |
|
An Academic High-Level Synthesis Tool for Control and Memory Intensive Applications |
10/26/2012 - 16:43 |
|
Advances in Symbolic Performance Analysis |
10/26/2012 - 16:43 |
|
ADHAM: Adaptive Heap Management on Many-Core Platforms |
03/30/2020 - 19:53 |
|
ADAGE: Adaptive ECC Automatic Generator |
07/02/2012 - 10:13 |
|
A verification environment for high-level designs based on system dependence graphs |
04/18/2013 - 11:35 |
