A Critical Assessment of Transaction Cost Theory and Governance of Public...
A Critical Assessment of Transaction Cost Theory and Governance of Public Services with Special Reference to Water and SanitationDagdeviren, H.& Robertson, S. A. 2016In : Cambridge Journal of...
View ArticleThe Potential for Using Artificial Intelligence Techniques to Improve...
The Potential for Using Artificial Intelligence Techniques to Improve e-Learning SystemsWakelam, E., Jefferies, A., Davey, N.& Sun, Y.Oct 201510 p.Research output: Contribution to conference›...
View ArticleMonitoring framework for stream-processing networks
Monitoring framework for stream-processing networksNguyen, V. T. N., Kirner, R.& Penczek, F. Jan 2012Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures (FD-COMA...
View ArticleA Uniform Model for Tolerance-Based Real-Time Computing
A Uniform Model for Tolerance-Based Real-Time ComputingKirner, R.15 Sep 2014Proceedings - IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC...
View ArticleA heuristic strategy for performance optimisation of stream programs
A heuristic strategy for performance optimisation of stream programsNguyen, V. T. N. & Kirner, R.2013Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS.IEEE...
View ArticleThe WCET analysis tool CalcWcet167
The WCET analysis tool CalcWcet167Kirner, R.2012Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).PART 2 ed.Vol. 7610...
View ArticleCompiling for time predictability
Compiling for time predictabilityPuschner, P., Kirner, R., Huber, B. & Prokesch, D. 2012Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture...
View ArticleCompilers must speak properties, not just code: CAL: Constraint aggregation...
Compilers must speak properties, not just code: CAL: Constraint aggregation language for declarative component-coordinationKirner, R., Penczek, F. & Shafarenko, A.2012Conference Record of the...
View ArticleA data-flow based coordination approach to concurrent software engineering
A data-flow based coordination approach to concurrent software engineeringPenczek, F., Cheng, W., Grelck, C., Kirner, R., Scheuermann, B. & Shafarenko, A.2013Proceedings - 2012 2nd Workshop on...
View ArticleAn infrastructure for multi-level optimisation through property annotation...
An infrastructure for multi-level optimisation through property annotation and aggregationPenczek, F., Kirner, R., Poss, R., Grelck, C.& Shafarenko, A.20124th International Workshop on...
View ArticleEfficient Leader Election for Synchronous Shared-Memory Systems
Efficient Leader Election for Synchronous Shared-Memory SystemsSanz Marco, V., Zolda, M. & Kirner, R.Mar 2014Proc. Int'l Workshop on Performance, Power and Predictability of Many-Core Embedded...
View ArticleA Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip
A Power-Aware Framework for Executing Streaming Programs on Networks-on-ChipKaravadara, N., Folie, S., Zolda, M., Nguyen, V. T. N. & Kirner, R.Mar 2014Int'l Workshop on Performance, Power and...
View ArticleFault-tolerant Coordination of S-Net Stream-processing Networks
Fault-tolerant Coordination of S-Net Stream-processing NetworksKirner, R., Sanz Marco, V., Zolda, M. & Penczek, F. Jan 20132nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core...
View ArticleInfluences on Throughput and Latency in Stream Programs
Influences on Throughput and Latency in Stream ProgramsNguyen, V. T. N. & Kirner, R.Jan 20132nd Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures.6 p.Research output:...
View ArticleStatistical Performance Analysis of an Ant-Colony Optimisation Application in...
Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-NETMacKenzie, K., Hölzenspies, P. K. F., Hammond, K., Kirner, R., Nguyen, V. T. N., te Boekhorst, I., Grelck, C., Poss,...
View ArticleStatistical performance analysis with dynamic workload using S-NET
Statistical performance analysis with dynamic workload using S-NETWieser, V., Hölzenspies, P. K. F., Roßbory, M. & Kirner, R.Jan 2012Workshop on Feedback-Directed Compiler Optimization for...
View ArticleModeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems
Modeling Streams-based Variants of Ant Colony Optimisation for Parallel SystemsCheng, W., Penczek, F., Grelck, C., Kirner, R., Scheuermann, B. & Shafarenko, A.Jan 2012Workshop on Feedback-Directed...
View ArticleOn the Design of a Java Virtual Machine for Mixed-criticality Systems
On the Design of a Java Virtual Machine for Mixed-criticality SystemsHamza, H., Hughes, A. & Kirner, R.Oct 201513th Int'l Workshop on Java Technologies for Real-time and Embedded Systems...
View ArticleCoordination with Structured Composition for Cyber-physical Systems
Coordination with Structured Composition for Cyber-physical SystemsMaurer, S. & Kirner, R.Sep 2015Int'l Conference on Parallel Computing (ParCo'15).10 p.Research output: Chapter in...
View ArticleCross-criticality Interfaces for Cyber-physical Systems
Cross-criticality Interfaces for Cyber-physical SystemsMaurer, S. & Kirner, R.Jun 2015IEEE Int'l Conference on Event-based Control, Communication, and Signal Processing (EBCCSP'15).8 p.Research...
View Article