( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
UPPAAL in Practice: Quantitative Verification of a RapidIO Network.

, , , , , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 160-174. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Winfred Theelen

Ulrich Theelen

Thomas Theelen

Franz Theelen

Franz Theelen

 

Другие публикации лиц с тем же именем

Uniting Academic Achievements on Performance Analysis with Industrial Needs., и . QEST, том 9259 из Lecture Notes in Computer Science, стр. 3-18. Springer, (2015)Performance Model Generation for MPSoC Design-Space Exploration.. QEST, стр. 39-40. IEEE Computer Society, (2008)Throughput Analysis of Synchronous Data Flow Graphs., , , , , , , и . ACSD, стр. 25-36. IEEE Computer Society, (2006)Dynamic Dataflow Graphs., , и . Handbook of Signal Processing Systems, Springer, (2013)Model checking of Scenario-Aware Dataflow with CADP., , и . DATE, стр. 653-658. IEEE, (2012)UPPAAL in Practice: Quantitative Verification of a RapidIO Network., , , , , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 160-174. Springer, (2010)Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems., , , , , и . DSD, стр. 979-988. IEEE Computer Society, (2013)A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices., , , , и . DAC, стр. 726-731. IEEE, (2007)Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication., , , , и . DSD, стр. 45-52. IEEE Computer Society, (2006)Architecture Design of a Scalable Single-Chip Multi-Processor., и . DSD, стр. 132-139. IEEE Computer Society, (2002)