BibSonomy ::  author ::

bookmarks

publications

(7)

• From Contracts Towards Dependent Types: Proofs by Partial Evaluation.
  Stephan Herhut and Sven-Bodo Scholz and Robert Bernecky and Clemens Grelck and Kai Trojahner IFL 254-273 (2007)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.
  Kai Trojahner and Clemens Grelck and Sven-Bodo Scholz IFL 1-18 (2006)
  to dblp by dblp on 2007-09-10 00:00:00
  | URL | BibTeX  
• Index Vector Elimination - Making Index Vectors Affordable.
  Robert Bernecky and Stephan Herhut and Sven-Bodo Scholz and Kai Trojahner and Clemens Grelck and Alexander V. Shafarenko IFL 19-36 (2006)
  to dblp by dblp on 2007-09-10 00:00:00
  | URL | BibTeX  
• CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata.
  Clemens Grelck and Frank Penczek and Kai Trojahner PaCT 410-417 (2007)
  to dblp by dblp on 2007-08-31 00:00:00
  | URL | BibTeX  
• Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.
  Alexander V. Shafarenko and Sven-Bodo Scholz and Stephan Herhut and Clemens Grelck and Kai Trojahner IFL 160-177 (2005)
  to dblp by dblp on 2007-02-21 00:00:00
  | URL | BibTeX  
• With-Loop Scalarization - Merging Nested Array Operations.
  Clemens Grelck and Sven-Bodo Scholz and Kai Trojahner IFL 118-134 (2003)
  to dblp by dblp on 2005-01-11 00:00:00
  | URL | BibTeX  
• File Sharing Using IP-Multicast.
  Kai Trojahner and Peter Sobe ARCS Workshops 380-389 (2004)
  to dblp by dblp on 2004-04-23 00:00:00
  | URL | BibTeX