- UHRA Home
- Browsing by Author
Browsing by Author "Penczek, Frank"
Now showing items 1-6 of 6
-
Implementation architecture and multithreaded runtime system of S-Net.
Grelck, Clemens; Penczek, Frank (2011)S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of a stream processing to structure networks of ... -
Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems
Cheng, Wei; Penczek, Frank; Grelck, Clemens; Kirner, Raimund; Scheuermann, Bernd; Shafarenko, Alex (HiPEAC, 2012-01)In this paper we present the implementation of a concurrent ant colony optimisation based solver for the combinatorial Single Machine Total Weighted Tardiness Problem (ACO- SMTWTP). We introduce S-Net, a coordination ... -
Monitoring framework for stream-processing networks
Nguyen, Vu Thien Nga; Kirner, Raimund; Penczek, Frank (2012-01-01)In this paper we present a monitoring framework that exploits special characteristics of stream-processing networks in order to reason the performance. The novelty of the framework is to trace the non-deterministic execution ... -
A multi-level monitoring framework for stream-based coordination programs
Nguyen, Vu Thien Nga; Kirner, Raimund; Penczek, Frank (2012)Stream-based Coordination is a promising approach to execute programs on parallel hardware such as multi-core systems. It allows to reuse sequential code at component level and to extend such code with concurrency-handling ... -
PS-NET - a predictable typed coordination language for stream processing in resource-constrained environments
Kirner, Raimund; Scholz, Sven-Bodo; Penczek, Frank; Shafarenko, Alex (International Academy, Research and Industry Association, 2010)Stream processing is a well-suited application pattern for embedded computing. This holds true even more so when it comes to multi-core systems where concurrency plays an important role. With the latest trend towards more ... -
Static Guarantees for Coordinated Components: a Statically Typed Composition Model for Stream-Processing Networks
Penczek, Frank (2012-10-03)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 ...