BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
1 × Portugal
1 × The Netherlands
4 × France
5 × USA
6 × Germany
Collaborated with:
M.Geilen S.Stuijk H.Corporaal B.Mesman D.Bošnački J.Hooman A.H.Ghamarian Y.Yang Q.Zhao M.Lindwer X.Zhu M.Wiggers M.Bekooij J.W.v.d.Brand C.Ciordas K.Goossens S.V.Gheorghita M.Damavandpeyma M.R.Mousavi P.L.Guernic J.Talpin S.K.Shukla W.M.P.v.d.Aalst E.Verbeek P.A.C.Verkoulen M.Voorhoeve H.Shojaei R.Hoes B.v.d.Sanden M.A.Reniers J.Jacobs J.Voeten R.R.H.Schiffelers L.Benini A.Chandrakasan J.Liu R.Min F.Zhao D.Marculescu R.Zimmermann R.Marculescu S.Jung E.Cantatore U.Waqas J.Kandelaars L.J.Somers P.Vestjens
Talks about:
graph (8) synchron (7) dataflow (5) model (5) throughput (4) process (4) design (4) constrain (3) schedul (3) resourc (3)

Person: Twan Basten

DBLP DBLP: Basten:Twan

Contributed to:

DATE 20152015
MoDELS 20152015
DATE 20142014
DATE 20122012
DATE 20102010
DAC 20092009
DATE 20082008
DAC 20072007
DATE 20072007
DAC 20062006
DAC 20052005
DATE 20052005
DATE v1 20042004
DATE 20032003
ESOP 20032003
DATE 20022002
ASE 20012001
ICEIS 19991999
TACAS 19991999

Wrote 24 papers:

DATE-2015-WaqasGKSBSVC #heuristic #online #scalability #scheduling
A re-entrant flowshop heuristic for online scheduling of the paper path in a large scale printer (UW, MG, JK, LJS, TB, SS, PV, HC), pp. 573–578.
MoDELS-2015-SandenRGBJVS #composition #design #modelling
Modular model-based supervisory controller design for wafer logistics in lithography machines (BvdS, MAR, MG, TB, JJ, JV, RRHS), pp. 416–425.
DATE-2014-ZhuGBS #data flow #graph #scheduling
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming (XYZ, MG, TB, SS), pp. 1–6.
DATE-2012-DamavandpeymaSBGC #data flow #graph #modelling
Modeling static-order schedules in synchronous dataflow graphs (MD, SS, TB, MG, HC), pp. 775–780.
DATE-2012-YangGBSC #game studies #graph #policy #resource management
Playing games with scenario- and resource-aware SDF graphs through policy iteration (YY, MG, TB, SS, HC), pp. 194–199.
DATE-2010-WiggersBGB #graph
Simultaneous budget and buffer size computation for throughput-constrained task graphs (MW, MB, MG, TB), pp. 1669–1672.
DATE-2010-YangGBSC #automation
Automated bottleneck-driven design-space exploration of media processing systems (YY, MG, TB, SS, HC), pp. 1041–1046.
DAC-2009-ShojaeiGBGSH #composition #heuristic #multi #runtime
A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management (HS, AHG, TB, MG, SS, RH), pp. 917–922.
DATE-2008-GhamarianGBS #analysis #data flow #graph #parametricity #throughput
Parametric Throughput Analysis of Synchronous Data Flow Graphs (AHG, MG, TB, SS), pp. 116–121.
DAC-2007-StuijkBGC #data flow #graph #multi #resource management
Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs (SS, TB, MG, HC), pp. 777–782.
DATE-2007-BrandCGB #communication
Congestion-controlled best-effort communication for networks-on-chip (JWvdB, CC, KG, TB), pp. 948–953.
DATE-2007-GeilenB
A calculator for Pareto points (MG, TB), pp. 285–290.
DAC-2006-StuijkGB #constraints #data flow #graph #requirements #throughput #trade-off
Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs (SS, MG, TB), pp. 899–904.
DAC-2005-GeilenBS #data flow #graph #model checking #requirements
Minimising buffer requirements of synchronous dataflow graphs with model checking (MG, TB, SS), pp. 819–824.
DAC-2005-GheorghitaSBC #automation #detection #estimation
Automatic scenario detection for improved WCET estimation (SVG, SS, TB, HC), pp. 101–104.
DATE-2005-StuijkBMG #data type #multi #predict #scalability
Predictable Embedding of Large Data Structures in Multiprocessor Networks-on-Chip (SS, TB, BM, MG), pp. 254–255.
DATE-v1-2004-MousaviGTSB #design #framework #modelling #validation
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks (MRM, PLG, JPT, SKS, TB), pp. 384–389.
DATE-2003-BastenBCLLMZ #scalability
Scaling into Ambient Intelligence (TB, LB, AC, ML, JL, RM, FZ), pp. 10076–10083.
DATE-2003-LindwerMBZMJC #concept
Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts (ML, DM, TB, RZ, RM, SJ, EC), pp. 10010–10017.
ESOP-2003-GeilenB #execution #network #process #requirements
Requirements on the Execution of Kahn Process Networks (MG, TB), pp. 319–334.
DATE-2002-ZhaoMB #compilation #design #modelling #set #using
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models (QZ, BM, TB), pp. 1021–1026.
ASE-2001-BastenB #clustering #partial order #process #reduction
Enhancing Partial-Order Reduction via Process Clustering (TB, DB), pp. 245–253.
ICEIS-1999-AalstBVVV #adaptation #flexibility #workflow
Adaptive Workflow-On the Interplay between Flexibility and Support (WMPvdA, TB, EV, PACV, MV), pp. 353–360.
TACAS-1999-BastenH #algebra #process
Process Algebra in PVS (TB, JH), pp. 270–284.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.