Volgen
Marc Geilen
Titel
Geciteerd door
Geciteerd door
Jaar
SDF^ 3: SDF for free
S Stuijk, M Geilen, T Basten
Sixth International Conference on Application of Concurrency to System …, 2006
4922006
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
3392006
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
2592006
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
2252006
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
2192007
Requirements on the execution of Kahn process networks
M Geilen, T Basten
Programming Languages and Systems: 12th European Symposium on Programming …, 2003
1922003
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
1792011
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
1772008
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
1342005
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
1122007
Worst-case performance analysis of synchronous dataflow scenarios
M Geilen, S Stuijk
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2010
1062010
An algebra of Pareto points
M Geilen, T Basten, B Theelen, R Otten
Fundamenta Informaticae 78 (1), 35-74, 2007
1002007
On the construction of monitors for temporal logic properties
MCW Geilen
Electronic Notes in Theoretical Computer Science 55 (2), 181-199, 2001
1002001
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
992007
Synchronous dataflow scenarios
M Geilen
ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 1-31, 2011
982011
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
922012
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
892010
Reactive process networks
M Geilen, T Basten
Proceedings of the 4th ACM international conference on Embedded software …, 2004
872004
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
852013
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
852010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20