2012

Berichte

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