Browsing by Author "Herhut, S."

Now showing items 1-5 of 5

    • Auxiliary Computations: A Framework for a Step-Wise, Non-Disruptive Introduction of Static Guarantees to Untyped Programs Using Partial Evaluation Techniques 

      Herhut, S. (2010-08-05)
      Type inference can be considered a form of partial evaluation that only evaluates a program with respect to its type annotations. Building on this key observation, this dissertation presents a uniform framework for expressing ...

    • Combining high productivity and high performance in image processing using Single Assignment C 

      Wieser, V.; Moser, B.; Scholz, S.-B.; Herhut, S.; Guo, J. (International Society for Optical Engineering, 2011-01-01)
      In this paper the problem of high performance software engineering is addressed in the context of image processing regarding productivity and optimized exploitation of hardware resources. Therefore, we introduce the ...

    • Message Driven Programming with S-Net: Methodology and Performance 

      Penczek, F.; Herhut, S.; Scholz, S.; Shafarenko, A.; Yang, J.S.; Chen, C.-Y.; Bagherzadeh, N.; Grelck, C. (Institute of Electrical and Electronics Engineers (IEEE), 2010)
      Development and implementation of the coordination language S-NET has been reported previously. In this paper we apply the S-NET design methodology to a computer graphics problem. We demonstrate (i) how a complete separation ...

    • Parallel signal processing with S-Net 

      Penczek, F.; Herhut, S.; Grelck, C.; Scholz, S.; Shafarenko, A.; Barrere, R.; Lenormand, E. (2010)
      We argue that programming high-end stream-processing applications requires a form of coordination language that enables the designer to represent interactions between stream-processing functions asynchronously. We further ...

    • Symbiotic expressions 

      Bernecky, R.; Herhut, S.; Scholz, S. (2011)
      We introduce symbiotic expressions, a method for algebraic simplification within a compiler, in lieu of an SMT solver, such as Yices or the Omega Calculator. Symbiotic expressions are compiler-generated expressions, ...