Search
Top rated content
Make your R&D results visiable!
| Tool Name | Author(s) | Updated | Screenshot |
Average Vote |
|---|---|---|---|---|
| COMPLEX_UML_MARTE: The COMPLEX Eclipse Framework for UML/MARTE Specification of Embedded Systems and Automatic Generation of Executable Models for Design Space Exploration |
Pablo Peñil (University of Cantabria) Eugenio Villar (University of Cantabria) Francisco Ferrero (GMV Aerospace and Defence SAU) Raúl Valencia (GMV Aerospace and Defence SAU) F. Herrera, , ES |
03/21/2012 - 15:35 | ||
| SmartCoDe: Smart Energy Management in Buildings and Environements |
Christoph Grimm, ... |
03/21/2012 - 15:35 | ||
| SmartCoDe: Smart Energy Management in Buildings and Environements |
Stefan Mahlknecht... |
03/21/2012 - 15:35 | ||
| SmartCoDe: Smart Energy Management in Buildings and Environements |
- -, -, AT |
03/21/2012 - 15:35 | ||
| SmartCoDe: Smart Energy Management in Buildings and Environements |
Franz Lukasch, Te... |
03/21/2012 - 15:35 | ||
| Evolvable Hardware FPGA-based platform for Autonomous Fault-tolerant Systems |
Javier Mora (Universidad Politécnica de Madrid) Ruben Salvador (Universidad Politécnica de Madrid) Angel Gallego (Universidad Politécnica de Madrid) Eduardo De la Torre (Universidad Politécnica de Madrid) Teresa Riesgo (Universidad Politécnica de Madrid) Lukáš Sekanina (Faculty of Information Technology (Brno University of Technology)) - -, -, ES |
03/21/2012 - 15:35 | ||
| ASTEROID: an analyzable, resilient real-time operating system design |
Philip Axer (TU Braunschweig) - -, -, DE |
03/21/2012 - 15:35 | ||
| SystemC UVM Verification Components |
Marcio F. S. Oliveira (University of Paderborn) Wolfgang Müller (University of Paderborn) Christoph Kuznik,... |
03/21/2012 - 15:35 | ||
| Bounded Property Checking with SymC | 03/01/2005 - 13:41 | |||
| Register Management for Integrated Systems | 06/05/2012 - 13:42 |
