BibSonomy :: author  ::

bookmarks

publications

(54)

• 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  
• A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O.
  Clemens Grelck and Steffen Kuthe and Sven-Bodo Scholz Parallel Processing Letters 18 23-37 (2008)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components.
  Clemens Grelck and Sven-Bodo Scholz and Alexander V. Shafarenko Parallel Processing Letters 18 221-237 (2008)
  to dblp by dblp on 2008-06-23 00:00:00
  | URL | BibTeX  
• SAC: off-the-shelf support for data-parallelism on multicores.
  Clemens Grelck and Sven-Bodo Scholz DAMP 25-33 (2007)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• Streaming Networks for Coordinating Data-Parallel Programs.
  Clemens Grelck and Sven-Bodo Scholz and Alexander V. Shafarenko Ershov Memorial Conference 451-455 (2006)
  to dblp by dblp on 2007-09-13 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  
• Coordinating Data Parallel SAC Programs with S-Net.
  Clemens Grelck and Sven-Bodo Scholz and Alexander V. Shafarenko IPDPS 1-8 (2007)
  to dblp by dblp on 2007-06-23 00:00:00
  | URL | BibTeX  
• Merging compositions of array skeletons in SaC.
  Clemens Grelck and Sven-Bodo Scholz Parallel Computing 32 507-522 (2006)
  to dblp by dblp on 2007-02-26 00:00:00
  | URL | BibTeX