|
Formal Verification of Design Properties of Hardware Architectures |
10/26/2012 - 16:43 |
|
DECIDER: Test and Verification at the Register-Transfer Level |
10/26/2012 - 16:43 |
|
Design Cost Controlling |
10/26/2012 - 16:43 |
|
BESST tool kit |
10/26/2012 - 16:43 |
|
Bist for RAm IN Seconds |
10/26/2012 - 16:43 |
|
BESST tool kit: CONFRES |
10/26/2012 - 16:43 |
|
Constraint-Engineering-System |
10/26/2012 - 16:43 |
|
Coplan for ADS |
10/26/2012 - 16:43 |
|
Advances in Symbolic Performance Analysis |
10/26/2012 - 16:43 |
|
A broadband FFT-Spectrometer at work |
10/26/2012 - 16:43 |
|
CRISP - A dynamically reconfigurable many-core platform for streaming applications. |
10/11/2012 - 06:15 |
|
CλaSH - Functional Hardware Design in CλaSH |
10/11/2012 - 06:12 |
|
Fast Distributed Property Checking |
10/02/2012 - 18:24 |
|
Analog Circuits: Explorative Synthesis of Topologies |
10/02/2012 - 17:34 |
|
CoMPSoC: Virtual Platforms for Energy Efficient Execution of Mixed Time-Criticality Applications |
10/02/2012 - 11:38 |
|
FlexFilm: Real-time digital film processing with a FPGA-based reconfigurable platform |
10/02/2012 - 01:00 |
|
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 |
|
WCDMA DPD ADC: Optimizing and validating high level design parameters of ADC for digital predistortion in base stations |
10/01/2012 - 19:36 |
|
Evolvable Hardware FPGA-based platform for Autonomous Fault-tolerant Systems |
07/04/2012 - 16:43 |
|
ASTEROID: an analyzable, resilient real-time operating system design |
07/04/2012 - 16:42 |
|
SmartCoDe: Smart Energy Management in Buildings and Environements |
07/04/2012 - 16:39 |
|
MULTICON: Multiplierless Design of Low-Complexity and High-Speed DSP Systems |
07/04/2012 - 16:36 |
|
neurocomm: Highly Integrated Packet-Based Communication in a Neuromorphic Wafer System |
07/04/2012 - 16:28 |
|
TASERS: Time and Space Separated Embedded Real-time System with Shared SDRAM |
07/04/2012 - 16:24 |
|
RIVER: Reconfigurable Pre-Synthesized-Streaming Architecture for Signal Processing on FPGAs |
07/04/2012 - 16:22 |
|
HiFSimReD: Transaction Level Fault Simulation, Recovery, and Mapping |
07/04/2012 - 16:20 |
|
FoREnSiC: An Automatic Debugging Environment for C Programs |
07/04/2012 - 16:19 |
|
C++TESK: Testing ToolKit |
07/04/2012 - 16:16 |
|
LambdaChartExplorer: System Level EDA via Lambda Chart Exploration |
07/04/2012 - 16:09 |
|
SuPREME: Smart and Self-powered Wireless Energy Metering |
07/04/2012 - 16:05 |
|
HPM: an interactive web service for high-performance macromodeling of passive interconnects in system-level verification flows |
07/04/2012 - 16:00 |
|
BAMBU: An Open Source Framework for High Level Synthesis of Complex Applications |
07/04/2012 - 15:59 |
|
Automotive Ethernet Optimization: Design Space Exploration for modern Automotive Ethernet-based E/E Architectures |
07/04/2012 - 15:57 |
|
Prototypical Framework for Safe and Efficient Systems-on-Chip Design |
07/04/2012 - 15:54 |
|
GSNOC - A Generic Scalable Simulation Framework for 3-Dimension Networks-on-Chip |
07/04/2012 - 15:53 |
|
SYNTHORUS - Fast Prototyping from Assertions |
07/04/2012 - 15:52 |
|
MECS + DesParO - Hierarchical Simulation and Robust Design Aspects |
07/04/2012 - 15:47 |
|
ASTERICS - A platform for the simulation of radiation effects on processors by fault injection |
07/04/2012 - 15:37 |
|
EduCAD - an Efficient, Flexible and Easily Revisable Physical Design Tool for Educational Purposes |
07/04/2012 - 15:36 |
|
AUTOPILOT - Integrated System for Automatic Personal Identification and Indoor Localization and Tracking |
07/04/2012 - 15:32 |
|
eClock - All-Digital PLL Compiler for On-Chip High-Speed Clock Generation |
07/04/2012 - 15:20 |
|
WSN Energy Harvesting - Monitoring and Control of a Dynamically Reconfigurable Wireless Sensor Node Powered by Hybrid Energy Harvesting |
07/04/2012 - 15:19 |
|
Magnetic PDK - Magnetic Process Design Kit for Hybrid CMOS / Magnetic process |
07/04/2012 - 15:14 |
|
Hierarchical Test Application and Evaluation |
07/04/2012 - 15:12 |
|
Statistical Thermal Evaluation and Yield Improvement Considering Process Variation for 3D Chip-Multiprocessors |
07/04/2012 - 15:11 |
|
VintAge - A simulation framework for the assessment of NBTI-induced aging effects in SoC designs |
07/04/2012 - 15:10 |
|
ID.Fix - Infrastructure for the design of fixed-point systems |
07/04/2012 - 15:09 |
|
CAERT - Compiler Assisted Energy Reduction Techniques for Embedded Processors |
07/04/2012 - 15:08 |
|
PowerMixer-IP - Power Analysis Framwork for SoC Designs |
07/04/2012 - 15:05 |
|
ATLAS - A Framework for NoC Generation and Evaluation |
07/04/2012 - 15:05 |
