Frank Penczek

According to our database, Frank Penczek authored at least 14 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

S+Net: extending functional coordination with extra-functional semantics.

Raphael Poss, Merijn Verstraaten, Frank Penczek, Clemens Grelck, Raimund Kirner, Alexander V. Shafarenko

CoRR, 2013

2012

Static guarantees for coordinated components : a statically typed composition model for stream-processing networks.

Frank Penczek

PhD thesis, 2012

Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination.

Raimund Kirner, Frank Penczek, Alexander V. Shafarenko

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

An infrastructure for multi-level optimisation through property annotation and aggregation.

Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

A Multi-level Monitoring Framework for Stream-Based Coordination Programs.

Vu Thien Nga Nguyen, Raimund Kirner, Frank Penczek

Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

Distributed S-Net: Cluster and Grid Computing without the Hassle.

Clemens Grelck, Jukka Julku, Frank Penczek

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

2010

Parallel signal processing with S-Net.

Frank Penczek, Stephan Herhut, Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko, Rémi Barrère, Eric Lenormand

Proceedings of the International Conference on Computational Science, 2010

S-Net for multi-memory multicores.

Clemens Grelck, Jukka Julku, Frank Penczek

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

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

Frank Penczek, Stephan Herhut, Sven-Bodo Scholz, Alexander V. Shafarenko, Jungsook Yang, Chun-Yi Chen, Nader Bagherzadeh, Clemens Grelck

Proceedings of the 39th International Conference on Parallel Processing, 2010

Cluster Computing as an Assembly Process: Coordination with S-Net.

Clemens Grelck, Jukka Julku, Frank Penczek, Alexander V. Shafarenko

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009

An Operational Semantics for S-Net.

Frank Penczek, Clemens Grelck, Sven-Bodo Scholz

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

2008

Implementation Architecture and Multithreaded Runtime System of S-Net.

Clemens Grelck, Frank Penczek

Proceedings of the Implementation and Application of Functional Languages, 2008

2007

CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata.

Clemens Grelck, Frank Penczek, Kai Trojahner

Proceedings of the Parallel Computing Technologies, 2007

2006

Impact of Coprocessors on a Multithreaded Processor Design Using Prioritized Threads.

Carsten Albrecht, Andreas C. Döring, Frank Penczek, Torben Schneider, Hannes Schulz

Proceedings of the 14th Euromicro International Conference on Parallel, 2006