Marc Geilen
TitelCiteras avÅr
SDF^ 3: SDF for free
S Stuijk, M Geilen, T Basten
Sixth International Conference on Application of Concurrency to System …, 2006
3912006
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
2812006
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
2192006
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
1932006
Multiprocessor resource allocation for throughput-constrained synchronous dataflow graphs
S Stuijk, T Basten, MCW Geilen, H Corporaal
2007 44th ACM/IEEE Design Automation Conference, 777-782, 2007
1902007
Requirements on the execution of Kahn process networks
M Geilen, T Basten
European Symposium on Programming, 319-334, 2003
1632003
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
1542008
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
1292011
Minimising buffer requirements of synchronous dataflow graphs with model checking
M Geilen, T Basten, S Stuijk
Proceedings. 42nd Design Automation Conference, 2005., 819-824, 2005
1152005
Software/hardware engineering with the parallel object-oriented specification language
BD Theelen, O Florescu, MCW Geilen, J Huang, PHA Van Der Putten, ...
proceedings of the 5th IEEE/ACM International Conference on Formal Methods …, 2007
1012007
On the construction of monitors for temporal logic properties
MCW Geilen
Electronic Notes in Theoretical Computer Science 55 (2), 181-199, 2001
882001
Worst-case performance analysis of synchronous dataflow scenarios
M Geilen, S Stuijk
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2010
862010
Reactive process networks
M Geilen, T Basten
Proceedings of the 4th ACM international conference on Embedded software …, 2004
862004
Synchronous dataflow scenarios
M Geilen
ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 16, 2010
802010
An algebra of Pareto points
M Geilen, T Basten, B Theelen, R Otten
Fundamenta Informaticae 78 (1), 35-74, 2007
792007
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
782007
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
752010
Ambient intelligence: impact on embedded system design
T Basten, M Geilen, H de Groot
Springer Science & Business Media, 2007
742007
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), 83, 2013
732013
On the discrete Gabor transform and the discrete Zak transform
MJ Bastiaans, MCW Geilen
Signal processing 49 (3), 151-166, 1996
711996
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20