|
1561 |
A cycle-accurate coprocessor prototyping platform for system-on-chip
Dragone, Silvio, 2014
|
|
|
|
1562 |
A fast platform for interactive e-learning systems
Havel, Ondřej. - Berlin : Logos-Verl., 2014
|
|
|
|
1563 |
A meta-engineering approach for document-centered knowledge acquisition
Reutelshöfer, Jochen, 2014
|
|
|
|
1564 |
A model-based approach for the specification and refinement of streaming applications
Zebelein, Christian, 2014
|
|
|
|
1565 |
A problem-oriented approach for dynamic verification of heterogeneous embedded systems
Mendoza Cervantes, Francisco. - Karlsruhe : KIT Scientific Publ., 2014
|
|
|
1566 |
A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems
Mendoza Cervantes, Francisco. - Karlsruhe : KIT Scientific Publishing, 2014
|
|
|
|
1567 |
A property checking methodology for weakly programmable system-on-chip IPs
Loitz, Sacha. - Aachen : Shaker, 2014
|
|
|
|
1568 |
A Property Checking Methodology for Weakly Programmable System-on-Chip IPs
Loitz, Sacha. - Aachen : Shaker, 2014, 1. Aufl.
|
|
|
|
1569 |
A scalable workflow for a configurable neuromorphic platform
Jeltsch, Sebastian, 2014
|
|
|
|
1570 |
A security architecture for e-science grid computing
Schreiner, Steffen, 2014
|
|
Administration
