Segui
Marc Geilen
Titolo
Citata da
Citata da
Anno
SDF^ 3: SDF for free
S Stuijk, M Geilen, T Basten
Sixth International Conference on Application of Concurrency to System …, 2006
5132006
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
3512006
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
2662006
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
2292006
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
2232007
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
1932011
Requirements on the execution of Kahn process networks
M Geilen, T Basten
Programming Languages and Systems: 12th European Symposium on Programming …, 2003
1892003
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
1792008
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
1402005
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
1172007
Worst-case performance analysis of synchronous dataflow scenarios
M Geilen, S Stuijk
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2010
1112010
On the construction of monitors for temporal logic properties
MCW Geilen
Electronic Notes in Theoretical Computer Science 55 (2), 181-199, 2001
1052001
An algebra of Pareto points
M Geilen, T Basten, B Theelen, R Otten
Fundamenta Informaticae 78 (1), 35-74, 2007
1032007
Synchronous dataflow scenarios
M Geilen
ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 1-31, 2011
982011
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
982007
On the discrete Gabor transform and the discrete Zak transform
MJ Bastiaans, MCW Geilen
Signal processing 49 (3), 151-166, 1996
981996
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
972012
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
952013
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
922010
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
912010
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20