|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 43 occurrences of 35 keywords
|
|
|
|
|
Results
Found 67 publication records. Showing 67 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xue-Yang Zhu, Twan Basten, Marc Geilen, Sander Stuijk |
Efficient Retiming of Multirate DSP Algorithms.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal |
Modeling static-order schedules in synchronous dataflow graphs. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal |
Playing games with scenario- and resource-aware SDF graphs through policy iteration. |
DATE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk |
Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikola Trcka, Martijn Hendriks, Twan Basten, Marc Geilen, Lou J. Somers |
Integrated model-driven design-space exploration for embedded systems. |
ICSAMOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten |
Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. |
ICSAMOS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten |
Dynamic data prioritization for quality-of-service differentiation in heterogeneous Wireless Sensor Networks. |
SECON |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal |
Iteration-Based Trade-Off Analysis of Resource-Aware SDF. |
DSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal |
Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling. |
DSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Majid Nabi, Marc Geilen, Twan Basten |
MoBAN: a configurable mobility model for wireless body area networks. |
SimuTools |
2011 |
DBLP BibTeX RDF |
|
| 1 | Bart D. Theelen, Marc Geilen, Jeroen Voeten |
Performance Model Checking Scenario-Aware Dataflow. |
FORMATS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen, Stavros Tripakis, Maarten Wiggers |
The earlier the better: a theory of timed actor interfaces. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn Hendriks, Marc Geilen, Twan Basten |
Pareto Analysis with Uncertainty. |
EUC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Steine, Cuong Viet Ngo, Ramon Serna Oliver, Marc Geilen, Twan Basten, Gerhard Fohler, Jean-Dominique Decotignie |
Proactive reconfiguration of wireless sensor networks. |
MSWiM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Blagojevic, Majid Nabi, Marc Geilen, Twan Basten, Teun Hendriks, Marcel Steine |
A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks. |
NAS |
2011 |
DBLP DOI BibTeX RDF |
retransmission control, wireless sensor network, gossiping, error control, point-to-multipoint |
| 1 | Sander Stuijk, Twan Basten, Benny Akesson, Marc Geilen, Orlando Moreira, Jan Reineke |
Designing next-generation real-time streaming systems. |
CODES+ISSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen |
Synchronous dataflow scenarios. |
ACM Trans. Embedded Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Orlando Moreira, Twan Basten, Marc Geilen, Sander Stuijk |
Buffer Sizing for Rate-Optimal Single-Rate Data-Flow Scheduling Revisited. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
single-rate data flow, homogeneous synchronous data flow, buffer minimization, Scheduling, throughput optimization |
| 1 | Majid Nabi, Milos Blagojevic, Marc Geilen, Twan Basten, Teun Hendriks |
MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks. |
SECON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Marc Geilen, Twan Basten |
A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour. |
DSD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal |
Automated bottleneck-driven design-space exploration of media processing systems. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maarten Wiggers, Marco Bekooij, Marc Geilen, Twan Basten |
Simultaneous budget and buffer size computation for throughput-constrained task graphs. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink |
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal |
Thermal-aware scratchpad memory design and allocation. |
ICCD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Poplavko, Marc Geilen, Twan Basten |
Predicting the throughput of multiprocessor applications under dynamic workload. |
ICCD |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen, Sander Stuijk |
Worst-case performance analysis of synchronous dataflow scenarios. |
CODES+ISSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal |
Quality-of-service trade-off analysis for wireless sensor networks. |
Perform. Eval. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen |
Reduction techniques for synchronous dataflow graphs. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
synchronous dataflow graphs, model-based design, reduction techniques |
| 1 | Hamid Shojaei, Amir Hossein Ghamarian, Twan Basten, Marc Geilen, Sander Stuijk, Rob Hoes |
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
CMP run-time management, MMKP, Pareto algebra |
| 1 | Milos Blagojevic, Majid Nabi, Teun Hendriks, Twan Basten, Marc Geilen |
Fast simulation methods to predict wireless sensor network performance. |
PE-WASUN |
2009 |
DBLP DOI BibTeX RDF |
probabilistic abstraction, simulation, wireless sensor networks, performance evaluation, shortest path, monte carlo, system modeling |
| 1 | Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong Tham, Marc Geilen, Henk Corporaal |
QoS Management for Wireless Sensor Networks with a Mobile Sink. |
EWSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk, Henk Corporaal |
Exploring trade-offs between performance and resource requirements for synchronous dataflow graphs. |
ESTImedia |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter H. Hartel, Theo C. Ruys, Marc C. W. Geilen |
Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow. |
FMCAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Marc Geilen, Twan Basten |
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen |
Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip. |
Journal of Systems Architecture - Embedded Systems Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan Basten, Marc Geilen, Frits W. Vaandrager, Marc Voorhoeve, Sebastian de Smet, Lou J. Somers |
Formal Modeling and Scheduling of Datapaths of Digital Document Printers. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Sander Stuijk |
Parametric Throughput Analysis of Synchronous Data Flow Graphs. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Shojaei, Twan Basten, Marc Geilen, Phillip Stanley-Marbell |
SPaC: a symbolic pareto calculator. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
binay decision diagram, pareto algeba, embedded systems |
| 1 | Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten |
An Algebra of Pareto Points. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten |
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen |
Latency Minimization for Synchronous Data Flow Graphs. |
DSD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal |
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen, Twan Basten |
A calculator for Pareto points. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rob Hoes, Twan Basten, Chen-Khong Tham, Marc Geilen, Henk Corporaal |
Analysing qos trade-offs in wireless sensor networks. |
MSWiM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk |
A scenario-aware data flow model for combined long-run average and worst-case performance analysis. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Marc Geilen, Twan Basten |
SDF3: SDF For Free. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij |
Throughput Analysis of Synchronous Data Flow Graphs. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen |
Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication. |
DSD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk |
Liveness and Boundedness of Synchronous Data Flow Graphs. |
FMCAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinfeng Huang, Marc Geilen, Jeroen Voeten, Henk Corporaal |
Branching-Time Property Preservation Between Real-Time Systems. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Marc Geilen, Twan Basten |
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. |
DAC |
2006 |
DBLP DOI BibTeX RDF |
optimization, throughput, buffering, synchronous dataflow |
| 1 | Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten |
An Algebra of Pareto Points. |
ACSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen |
Predictable embedding of large data structures in multiprocessor networks-on-chip. |
DSD |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen, Twan Basten, Sander Stuijk |
Minimising buffer requirements of synchronous dataflow graphs with model checking. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
optimization, model-checking, buffering, synchronous dataflow |
| 1 | Sander Stuijk, Twan Basten, Bart Mesman, Marc Geilen |
Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip. |
DATE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Twan Basten, Dragan Bosnacki, Marc Geilen |
Cluster-Based Partial-Order Reduction. |
Autom. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion |
| 1 | Marc Geilen, Twan Basten |
Reactive process networks. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
signal processing, multiprocessor systems, operational semantics, reactive systems, process networks, media processing |
| 1 | Twan Basten, Marc Geilen, Harmke de Groot |
Ambient intelligence - impact on embedded system design. |
|
2003 |
RDF |
|
| 1 | Jinfeng Huang, Jeroen Voeten, Marc Geilen |
Real-time Property Preservation in Approximations of Timed Systems. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen |
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen, Twan Basten |
Requirements on the Execution of Kahn Process Networks. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
Kahn Principle, multi-processor architectures, streaming, signal processing, dynamic scheduling, media processing, Kahn process networks, deadlock resolution |
| 1 | Marc Geilen |
On the Construction of Monitors for Temporal Logic Properties. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen, Jeroen Voeten, P. H. A. van der Putten, Leo J. van Bokhoven, M. P. J. Stevens |
Object-oriented modelling and specification using SHE. |
Comput. Lang. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Geilen, Dennis Dams |
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | P. H. A. van der Putten, Jeroen Voeten, Marc Geilen, M. P. J. Stevens |
System Level Models for Real-Time Communication. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen |
Software Synthesis for System Level Design Using Process Execution Trees. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
system level design language, simulation, operational semantics, software synthesis |
| 1 | Jeroen Voeten, P. H. A. van der Putten, Marc Geilen, M. P. J. Stevens |
System Level Modelling for Hardware/Software Systems. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #67 of 67 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")