- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 23 (0.074 seconds)| 1 |
Code generation from specifications in higher-order logicHaftmann, Florian January 2009 (has links)
München, Techn. Univ., Diss., 2009.
|
| 2 |
Softwarekomponenten mit eODL und SDL für verteilte Systeme /Böhme, Harald. January 2007 (has links) (PDF)
Humboldt-Univ., Diss.--Berlin, 2007.
|
| 3 |
Retargetable postpass optimisation by integer linear programmingKästner, Daniel. Unknown Date (has links) (PDF)
University, Diss., 2000--Saarbrücken.
|
| 4 |
Platform-independent modeling of synthesizable software systems using UML 2Schattkowsky, Tim January 2008 (has links)
Zugl.: Paderborn, Univ., Diss., 2008
|
| 5 |
Systematic testing of code generation tools a test suite oriented approach for safeguarding model based code generationStürmer, Ingo January 2006 (has links)
Zugl.: Berlin, Techn. Univ., Diss., 2006
|
| 6 |
Approaches to code generation for synchronous transfer architecture (STA) /Guo, Jie. January 2008 (has links)
Zugl.: Dresden, Techn. University, Diss., 2008.
|
| 7 |
Certifying system translations using higher order theorem proversBlech, Jan Olaf January 2008 (has links)
Zugl.: Kaiserslautern, Techn. Univ., Diss., 2008
|
| 8 |
Constraintbasierte Codegenerierung für eingebettete ProzessorenBashford, Steven. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2000--Dortmund.
|
| 9 |
Modeling embedded processors and generating fast simulators using the machine description language LISAPees, Stefan Leo Alexander. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2002--Aachen.
|
| 10 |
Entwicklung und Einsatz von Codegenerierungssoftware zur Effizienzsteigerung bei der ProzessanlagenautomatisierungDetje, Johannes Silas, Meißner, Jan-Eric, Stolpmann, Alexander 27 January 2022 (has links)
Die Programmierung von SPS-Systemen erfolgt hauptsächlich händisch, obwohl große Teile des Programmcodes sehr ähnlich sind und sich häufig nur durch die eingesetzten Variablen unterscheiden. Der Beitrag befasst sich mit der Entwicklung und Testung einer Codegenerierungssoftware für das TIA Portal, um den Zeitaufwand der Programmierung zu reduzieren und Flüchtigkeitsfehler zu vermeiden.
|
Page generated in 0.0788 seconds