( en | de | ru )

 

Disambiguierung von "Basten, Twan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Cluster-Based Partial-Order Reduction.

, , und . Autom. Softw. Eng., 11 (4): 365-402 (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Twan Lammers

Thomas Basten

Michael Basten

Christoph Basten

Rainer Basten

 

Weitere Publikationen von Autoren mit dem selben Namen

Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems., , , , und . ACM Trans. Embed. Comput. Syst., 16 (5s): 160:1-160:20 (2017)Inheritance of behavior., und . J. Log. Algebraic Methods Program., 47 (2): 47-145 (2001)Iterative robust multiprocessor scheduling., , , , und . RTNS, Seite 23-32. ACM, (2015)Process Algebra in PVS., und . TACAS, Volume 1579 von Lecture Notes in Computer Science, Seite 270-284. Springer, (1999)Formal Modeling and Scheduling of Datapaths of Digital Document Printers., , , , , , , , und . FORMATS, Volume 5215 von Lecture Notes in Computer Science, Seite 170-187. Springer, (2008)Schedule Synthesis for Halide Pipelines on GPUs., , , , und . ACM Trans. Archit. Code Optim., 17 (3): 23:1-23:25 (2020)Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs., , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (10): 3412-3425 (Oktober 2023)Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism., , und . DSD, Seite 228-235. IEEE Computer Society, (2007)MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks., , , , und . SECON, Seite 28-36. IEEE, (2010)Fault-tolerant embedded control systems for unreliable hardware., , , , und . ISIC, Seite 464-467. IEEE, (2014)