Search results for "Twan Basten"

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	Nikola Trcka, Marc Voorhoeve, Twan Basten	Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets.	ACSD	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	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	Twan Basten, Rolf Ernst	Editorial: Model-driven embedded-system design.	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	Hamid Shojaei, Tai-Hsuan Wu, Azadeh Davoodi, Twan Basten	A pareto-algebraic framework for signal power optimization in global routing.	ISLPED	2010	DBLP DOI BibTeX RDF	pareto algebra, global routing, dynamic power
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	A. Oceguera, Twan Basten, Lou J. Somers, S. Hulsenboom	Real-time step motor emulator for hardware-in-the-loop simulation.	SummerSim	2010	DBLP 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	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	Stefan Valentin Gheorghita, Martin Palkovic, Juan Hamers, Arnout Vandecappelle, Stelios Mamagkakis, Twan Basten, Lieven Eeckhout, Henk Corporaal, Francky Catthoor, Frederik Vandeputte, Koen De Bosschere	System-scenario-based design of dynamic embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	dynamic nature, system scenarios, real-time systems, embedded systems, Design methodology, energy reduction
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	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	Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten	A monitoring-aware network-on-chip design flow.	Journal of Systems Architecture - Embedded Systems Design	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	Sander Stuijk, Twan Basten	Analyzing concurrency in streaming applications.	Journal of Systems Architecture - Embedded Systems Design	2008	DBLP DOI BibTeX RDF
1	Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal	Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications.	Signal Processing Systems	2008	DBLP DOI BibTeX RDF	dynamic voltage scheduling, application scenarios, embedded systems, soft real-time
1	Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal	Application Scenarios in Streaming-Oriented Embedded-System Design.	IEEE Design & Test of Computers	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	Twan Basten, Gabriel Juhás, Sandeep K. Shukla (eds.)	Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic	ACSD	2007	DBLP BibTeX RDF
1	Peter Poplavko, Twan Basten, Jef L. van Meerbergen	Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism.	DSD	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	Jan Willem van den Brand, Calin Ciordas, Kees Goossens, Twan Basten	Congestion-controlled best-effort communication for networks-on-chip.	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	Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Richard P. Kleihorst	RC-SIMD: Reconfigurable communication SIMD architecture for image processing applications.	J. Embedded Computing	2006	DBLP BibTeX RDF
1	Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal	Profiling Driven Scenarion Detection and Prediction for Multimedia Applications.	ICSAMOS	2006	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	Calin Ciordas, Andreas Hansson, Kees Goossens, Twan Basten	A Monitoring-Aware Network-on-Chip Design Flow.	DSD	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	Hamed Fatemi, Bart Mesman, Henk Corporaal, Twan Basten, Pieter P. Jonker	Run-time reconfiguration of communication in SIMD architectures.	IPDPS	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	Bart Mesman, Hamed Fatemi, Henk Corporaal, Twan Basten	Dynamic-SIMD for lens distortion compensation.	ASAP	2006	DBLP DOI BibTeX RDF
1	Calin Ciordas, Kees Goossens, Andrei Radulescu, Twan Basten	NoC monitoring: impact on the design flow.	ISCAS	2006	DBLP DOI BibTeX RDF
1	Stefan Valentin Gheorghita, Henk Corporaal, Twan Basten	Iterative compilation for energy reduction.	J. Embedded Computing	2005	DBLP BibTeX RDF
1	Calin Ciordas, Twan Basten, Andrei Radulescu, Kees Goossens, Jef L. van Meerbergen	An event-based monitoring service for networks on chip.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	monitoring, debugging, Networks-on-Chip
1	Hamed Fatemi, Henk Corporaal, Twan Basten, Richard P. Kleihorst, Pieter P. Jonker	Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures.	ACIVS	2005	DBLP DOI BibTeX RDF
1	Peter Poplavko, Twan Basten, Milan Pastrnak, Jef L. van Meerbergen, Marco Bekooij, Peter H. N. de With	Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications.	MEMOCODE	2005	DBLP DOI BibTeX RDF
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	Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, Henk Corporaal	Automatic scenario detection for improved WCET estimation.	DAC	2005	DBLP DOI BibTeX RDF	real-time, scenarios, WCET
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	Stefan Valentin Gheorghita, Twan Basten, Henk Corporaal	Intra-task scenario-aware voltage scheduling.	CASES	2005	DBLP DOI BibTeX RDF	dynamic voltage scheduling, real-time, scenarios, WCET
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	Mohammad Reza Mousavi, Paul Le Guernic, Jean-Pierre Talpin, Sandeep K. Shukla, Twan Basten	Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.	DATE	2004	DBLP DOI BibTeX RDF
1	Qin Zhao, Bart Mesman, Twan Basten	Static resource models for code-size efficient embedded processors.	ACM Trans. Embedded Comput. Syst.	2003	DBLP DOI BibTeX RDF	Static resource models, phase coupling, scheduling, convex hull, constraint analysis
1	Twan Basten, Marc Geilen, Harmke de Groot	Ambient intelligence - impact on embedded system design.		2003	RDF
1	H. M. W. (Eric) Verbeek, Twan Basten	Deciding Life-Cycle Inheritance on Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	life-cycle inheritance, branching bisimilarity, T-invariants, Petri nets, workflow, Object-orientation, backtracking, structural properties
1	Sander Stuijk, Twan Basten	Analyzing Concurrency in Computational Networks. (PDF / PS)	MEMOCODE	2003	DBLP DOI BibTeX RDF
1	Sander Stuijk, Twan Basten, Jan Ypma	CAST - A Task-Level Concurrency Analysis Tool.	ACSD	2003	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron	Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.	ACSD	2003	DBLP DOI BibTeX RDF
1	Mohammad Reza Mousavi, Michel A. Reniers, Twan Basten, Michel R. V. Chaudron	PARS: A Process Algebra with Resources and Schedulers.	FORMATS	2003	DBLP DOI BibTeX RDF
1	Peter Poplavko, Twan Basten, Marco Bekooij, Jef L. van Meerbergen, Bart Mesman	Task-level timing models for guaranteed performance in multiprocessor networks-on-chip.	CASES	2003	DBLP DOI BibTeX RDF	buffer minimization, performance evaluation, real-time, system-on-chip, network-on-chip, data flow graph
1	Menno Lindwer, Diana Marculescu, Twan Basten, Rainer Zimmermann, Radu Marculescu, Stefan Jung, Eugenio Cantatore	Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts.	DATE	2003	DBLP DOI BibTeX RDF
1	Twan Basten, Luca Benini, Anantha Chandrakasan, Menno Lindwer, Jie Liu, Rex Min, Feng Zhao	Scaling into Ambient Intelligence.	DATE	2003	DBLP DOI BibTeX RDF	high-density wireless networks, scalable software infrastructure, low power and energy, scalable algorithms, multi-processor systems on chip
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	Wil M. P. van der Aalst, Twan Basten	Inheritance of workflows: an approach to tackling problems related to change.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Qin Zhao, Bart Mesman, Twan Basten	Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models.	DATE	2002	DBLP DOI BibTeX RDF
1	Twan Basten, Wil M. P. van der Aalst	Inheritance of behavior.	J. Log. Algebr. Program.	2001	DBLP DOI BibTeX RDF
1	H. M. W. (Eric) Verbeek, Twan Basten, Wil M. P. van der Aalst	Diagnosing Workflow Processes using Woflan.	Comput. J.	2001	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst, Twan Basten	Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance.	ICATPN	2001	DBLP DOI BibTeX RDF	Petri nets, inheritance, lattices, workflow management, object-oriented methods, partial orders
1	Twan Basten, Dragan Bosnacki	Enhancing Partial-Order Reduction via Process Clustering.	ASE	2001	DBLP DOI BibTeX RDF	(LTL) model checking, concurrency, formal verification, SPIN, partial-order reduction, state explosion
1	Qin Zhao, Twan Basten, Bart Mesman, C. A. J. van Eijk, Jochen A. G. Jess	Static resource models of instruction sets.	ISSS	2001	DBLP BibTeX RDF
1	Twan Basten, Wil M. P. van der Aalst	Inheritance of Dynamic Behavior: Development of a Groupware Editor.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF	computer supported cooperative work (CSCW), Petri nets, object orientation, inheritance, dynamic behavior, object life cycle
1	Wil M. P. van der Aalst, Twan Basten, H. M. W. (Eric) Verbeek, Peter A. C. Verkoulen, Marc Voorhoeve	Adaptive Workflow-On the Interplay between Flexibility and Support.	ICEIS	1999	DBLP BibTeX RDF
1	Twan Basten, Jozef Hooman	Process Algebra in PVS.	TACAS	1999	DBLP DOI BibTeX RDF
1	Twan Basten	Parsing Partially Ordered Multisets.	Int. J. Found. Comput. Sci.	1997	DBLP BibTeX RDF
1	Thomas Kunz, James P. Black, David J. Taylor, Twan Basten	Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions.	Comput. J.	1997	DBLP DOI BibTeX RDF
1	Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor	Vector Time and Causality Among Abstract Events in Distributed Computations.	Distributed Computing	1997	DBLP DOI BibTeX RDF	Event abstraction, Vector time, Distributed systems, Causality, Partial order, Logical time, Precedence relation
1	Wil M. P. van der Aalst, Twan Basten	Life-Cycle Inheritance: A Petri-Net-Based Approach.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri nets, Object orientation, Inheritance, Workflow management, Object life cycle
1	Twan Basten	Branching Bisimilarity is an Equivalence Indeed!	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF

Publications of "Twan Basten" ( http://dblp.L3S.de/Authors/Twan_Basten )