Springe zum Hauptinhalt
Universitätsbibliothek
Universitätsbibliographie

Ergebnis der Datenbankabfrage

Nr. Titel Autor Jahr
1 Closed-Loop Approach on Formal Specification for Semiconductor Test Schott, Christian* et al. 2021
2 Design, Modeling, Fabrication, and Verification of New Multifunctional MEMS/NEMS Components Freitag, Markus* et al. 2019
3 Online Verification of AMS Properties Sauppe, Matthias* et al. 2016
4 Teamorientiertes Anforderungsmanagement mit SpecScribe Drechsler, Chris* et al. 2016
5 SpecScribe - ein pragmatisch einsetzbares Werkzeug zum Anforderungsmanagement Drechsler, Chris* et al. 2015
6 Automated Implementation of Operand Isolation on Netlists Sauppe, Matthias et al. 2014
7 Optimal Component Selection for Energy-Efficient Systems Sauppe, Matthias et al. 2014
8 Testbench Translation Tool from Matlab to VHDL Yang, Lei et al. 2014
9 A Database for the Integration of Power Data on System Level Sauppe, Matthias et al. 2013
10 A Specification tool for Nanosystems Markert, Erik et al. 2013
11 Einsatz formaler Methoden zur Energieeinsparung Horn, Thomas et al. 2013
12 Optimal Component Selection for Energy-Efficient System Sauppe, Matthias et al. 2013
13 Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes Sahm, Hans et al. 2013
14 Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes Sahm, Hans et al. 2013
15 Ganzheitliche Entwurfsmethodik für energiesparende Systeme Sauppe, Matthias et al. 2012
16 Parallel High-Performance Applications with MPI2Java - A Capable Java Interface for MPI 2.0 Libraries Vodel, Matthias et al. 2010
17 A Large Scalable, Distributed Simulation Framework for Radio Standard Spanning Mobile Ad Hoc Networks Vodel, Matthias et al. 2008
18 SimANet - A Large Scalable, Distributed Simulation Framework for Ambient Networks Vodel, Matthias et al. 2008
19 The SimANet Framework Vodel, Matthias et al. 2008
Aktuelle Seite:
Anzahl der Ergebnisseiten: 1
Anzahl der Dokumente: 19

Soziale Medien

Verbinde dich mit uns: