Oscillatory activity, phase differences, and phase resetting in the inferior...
Oscillatory activity, phase differences, and phase resetting in the inferior olivary nucleusLefler, Y., Torben-Nielsen, B.& Yarom, Y. 2013In : Frontiers in Systems Neuroscience.7, 9 p., 22Research...
View ArticleSelf-referential forces are sufficient to explain different dendritic...
Self-referential forces are sufficient to explain different dendritic morphologiesMemelli, H., Torben-Nielsen, B.& Kozloski, J. 2013In : Frontiers in Neuroinformatics.7, 12 p., 1Research output:...
View ArticleThe generation of phase differences and frequency changes in a network model...
The generation of phase differences and frequency changes in a network model of inferior olive subthreshold oscillationsTorben-Nielsen, B., Segev, I. & Yarom, Y. 2012In : PLoS Computational...
View ArticleAn inverse approach for elucidating dendritic function
An inverse approach for elucidating dendritic functionTorben-Nielsen, B.& Stiefel, K. M. 2010In : Frontiers in Computational Neuroscience.4, 11 p., 128Research output: Contribution to journal›...
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 ArticleIngredients for the specification of mixed-criticality real-time systems
Ingredients for the specification of mixed-criticality real-time systemsKirner, R.15 Sep 2014Proceedings - IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed...
View ArticleA multi-level monitoring framework for stream-based coordination programs
A multi-level monitoring framework for stream-based coordination programsNguyen, V. T. N., Kirner, R.& Penczek, F. 2012Lecture Notes in Computer Science (including subseries Lecture Notes in...
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 Article