Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Penczek, Frank"'
Autor:
Penczek, Frank
Does your program do what it is supposed to be doing? Without running the program providing an answer to this question is much harder if the language does not support static type checking. Of course, even if compile-time checks are in place only cert
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.573321
Autor:
Poss, Raphael, Verstraaten, Merijn, Penczek, Frank, Grelck, Clemens, Kirner, Raimund, Shafarenko, Alex
This technical report introduces S+Net, a compositional coordination language for streaming networks with extra-functional semantics. Compositionality simplifies the specification of complex parallel and distributed applications; extra-functional sem
Externí odkaz:
http://arxiv.org/abs/1306.2743
Autor:
Penczek, Frank, Herhut, Stephan, Grelck, Clemens, Scholz, Sven-Bodo, Shafarenko, Alex, Barrère, Rémi, Lenormand, Eric
Publikováno v:
In Procedia Computer Science May 2010 1(1):2085-2094
Publikováno v:
Proceedings of the 7th Workshop: Declarative Aspects & Applications of Multicore Programming; Jan2012, p51-54, 4p
Autor:
Penczek, Frank, Cheng, Wei, Grelck, Clemens, Kirner, Raimund, Scheuermann, Bernd, Shafarenko, Alex
Publikováno v:
2012 Data-Flow Execution Models for Extreme Scale Computing; 2012, p36-43, 8p
Publikováno v:
2012 12th IEEE/ACM International Symposium on Cluster, Cloud & Grid Computing (CCGRID 2012); 1/ 1/2012, p410-418, 9p
Publikováno v:
Algorithms & Architectures for Parallel Processing (9783642330773); 2012, p83-98, 16p
Publikováno v:
Proceedings of the 5th ACM SIGPLAN Workshop: Declarative Aspects of Multicore Programming; 1/19/2010, p25-34, 10p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Malyshkin, Victor, Grelck, Clemens, Penczek, Frank, Trojahner, Kai
Publikováno v:
Parallel Computing Technologies (9783540739395); 2007, p410-417, 8p
Publikováno v:
2010 10th IEEE/ACM International Conference on Cluster, Cloud & Grid Computing (CCGrid); 2010, p587-588, 2p