Nummer | Autoren / Titel | erschienen |
TR_1201 | Lennart Wietzke
Algebraic Representation and Geometric Interpretation of Hilbert Transformed Signals | Januar 2012 |
TR_1202 | Jens Schönborn, Marcel Kyas
Semantics of UML 2.2 State Machines in Rewriting Logic | Februar 2012 |
TR_1203 | Klaus Jansen
A (3/2+\epsilon) approximation algorithm for scheduling malleable and non-malleable parallel tasks | Februar 2012 |
TR_1204 | Eike Siewertsen, Jaroslaw Piwonski, Thomas Slawig
Simulation von biogeochemischen Prozessen in 3-D auf GPUs | Mai 2012 |
TR_1205 | Steffen Börm, Jessica Gördes
Low-rank approximation of integral operators by using the Green formula and quadrature | Mai 2012 |
TR_1206 | Christian Schneider, Miro Spönemann, Reinhard von Hanxleden
Transient View Generation in Eclipse | Juli 2012 |
TR_1207 | Philipp Sieweck
SAT Solving mit GPU Unterstützung | Juni 2012 |
TR_1208 | Pawel Gawrychowski, Florin Manea, Robert Mercaş, Dirk Nowotka, Catalin Tiseanu
Finding Pseudo-Repetitions | Juni 2012 |
TR_1209 | Michael Hanus
Improving lazy non-deterministic computations by demand analysis | Juni 2012 |
TR_1210 | Klaus Jansen, Kim-Manuel Klein
A Robust AFPTAS for Online Bin Packing with Polynomial Migration | Juli 2012 |
TR_1211 | Christian Wulf, Sören Frey, Wilhelm Hasselbring
A Three-Phase Approach to Efficiently Transform C# into KDM | August 2012 |
TR_1212 | Subarno Banerjee
Timing Analysis for the Precision Timed ARM Processor | September 2012 |
TR_1213 | Christian Motika, Reinhard von Hanxleden, Mirko Heinold
Synchronous Java: Light-Weight, Deterministic Concurrency and Preemption in Java | Oktober 2012 |
TR_1214 | Christian Motika, Hauke Fuhrmann, Reinhard von Hanxleden, Edward A. Lee
Executing Domain-Specific Models in Eclipse | Oktober 2012 |
TR_1215 | Reinhard von Hanxleden, N. Holsti, B. Lisper, J. Gustafsson und 2 and more ...
The WCET Tool Challenge 2011 | Oktober 2012 |
TR_1216 | Oliver Fleischmann
On the analysis and decomposition of intrinsically one-dimensional signals and their superpositions | Dezember 2012 |
Statische URL | https://www.uni-kiel.de/journals/receive/jportal_jpvolume_00000550 |