Springe zum Hauptinhalt
Universitätsbibliothek
Universitätsbibliographie
Universitätsbibliothek 

Ergebnis der Datenbankabfrage

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

Soziale Medien

Verbinde dich mit uns: