SDF^ 3: SDF for free S Stuijk, M Geilen, T Basten Sixth International Conference on Application of Concurrency to System …, 2006 | 508 | 2006 |
Throughput analysis of synchronous data flow graphs AH Ghamarian, MCW Geilen, S Stuijk, T Basten, BD Theelen, ... Sixth International Conference on Application of Concurrency to System …, 2006 | 348 | 2006 |
A scenario-aware data flow model for combined long-run average and worst-case performance analysis BD Theelen, MCW Geilen, T Basten, JPM Voeten, SV Gheorghita, S Stuijk Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006 | 265 | 2006 |
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs S Stuijk, M Geilen, T Basten Proceedings of the 43rd annual design automation conference, 899-904, 2006 | 226 | 2006 |
Multiprocessor resource allocation for throughput-constrained synchronous dataflow graphs S Stuijk, T Basten, MCW Geilen, H Corporaal Proceedings of the 44th annual Design Automation Conference, 777-782, 2007 | 222 | 2007 |
Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications S Stuijk, M Geilen, B Theelen, T Basten 2011 International Conference on Embedded Computer Systems: Architectures …, 2011 | 191 | 2011 |
Requirements on the execution of Kahn process networks M Geilen, T Basten Programming Languages and Systems: 12th European Symposium on Programming …, 2003 | 189 | 2003 |
Throughput-buffering trade-off exploration for cyclo-static and synchronous dataflow graphs S Stuijk, M Geilen, T Basten IEEE Transactions on Computers 57 (10), 1331-1345, 2008 | 177 | 2008 |
Minimising buffer requirements of synchronous dataflow graphs with model checking M Geilen, T Basten, S Stuijk Proceedings of the 42nd annual Design Automation Conference, 819-824, 2005 | 138 | 2005 |
Software/hardware engineering with the parallel object-oriented specification language BD Theelen, O Florescu, MCW Geilen, J Huang, PHA Van Der Putten, ... 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007 | 116 | 2007 |
Worst-case performance analysis of synchronous dataflow scenarios M Geilen, S Stuijk Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2010 | 110 | 2010 |
On the construction of monitors for temporal logic properties MCW Geilen Electronic Notes in Theoretical Computer Science 55 (2), 181-199, 2001 | 105 | 2001 |
An algebra of Pareto points M Geilen, T Basten, B Theelen, R Otten Fundamenta Informaticae 78 (1), 35-74, 2007 | 103 | 2007 |
Latency minimization for synchronous data flow graphs AH Ghamarian, S Stuijk, T Basten, MCW Geilen, BD Theelen 10th Euromicro Conference on Digital System Design Architectures, Methods …, 2007 | 98 | 2007 |
MoBAN: A configurable mobility model for wireless body area networks M Nabi, M Geilen, T Basten 4th International ICST Conference on Simulation Tools and Techniques, 2012 | 97 | 2012 |
Synchronous dataflow scenarios M Geilen ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 1-31, 2011 | 97 | 2011 |
Compositionality in synchronous data flow: Modular code generation from hierarchical sdf graphs S Tripakis, D Bui, M Geilen, B Rodiers, EA Lee ACM Transactions on Embedded Computing Systems (TECS) 12 (3), 1-26, 2013 | 93 | 2013 |
On the discrete Gabor transform and the discrete Zak transform MJ Bastiaans, MCW Geilen Signal processing 49 (3), 151-166, 1996 | 93 | 1996 |
A predictable multiprocessor design flow for streaming applications with dynamic behaviour S Stuijk, M Geilen, T Basten 2010 13th Euromicro Conference on Digital System Design: Architectures …, 2010 | 92 | 2010 |
A robust protocol stack for multi-hop wireless body area networks with transmit power adaptation M Nabi, T Basten, M Geilen, M Blagojevic, T Hendriks Proceedings of the fifth international conference on body area networks, 77-83, 2010 | 91 | 2010 |