Search
Top rated content
Make your R&D results visiable!
| Tool Name | Author(s) | Updated | Screenshot |
Average Vote |
|---|---|---|---|---|
| SmartCoDe: Smart Energy Management in Buildings and Environements |
Stefan Mahlknecht... |
03/21/2012 - 16:35 | ||
| SmartCoDe: Smart Energy Management in Buildings and Environements |
- -, -, AT |
03/21/2012 - 16:35 | ||
| SmartCoDe: Smart Energy Management in Buildings and Environements |
Franz Lukasch, Te... |
03/21/2012 - 16: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 - 16:35 | ||
| ASTEROID: an analyzable, resilient real-time operating system design |
Philip Axer (TU Braunschweig) - -, -, DE |
03/21/2012 - 16:35 | ||
| SystemC UVM Verification Components |
Marcio F. S. Oliveira (University of Paderborn) Wolfgang Müller (University of Paderborn) Christoph Kuznik,... |
03/21/2012 - 16:35 | ||
| Bounded Property Checking with SymC | 03/01/2005 - 14:41 | |||
| Register Management for Integrated Systems | 06/05/2012 - 14:42 | |||
| Analog Insydes | 06/05/2012 - 15:06 | |||
| GeneralStore | 06/05/2012 - 15:12 |
 |
