( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Communication and co-simulation infrastructure for heterogeneous system integration.

, , , , и . DATE, стр. 462-467. European Design and Automation Association, Leuven, Belgium, (2006)

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.

Manfred Balarin

Manfred Balarin

Manfred Balarin

Marion Balarin

Manfred Balarin

 

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

Worst-case analysis of discrete systems based on conditional abstractions.. CODES, стр. 115-119. ACM, (1999)Automatic Abstraction for Worst-Case Analysis of Discrete Systems.. DATE, стр. 494-501. IEEE Computer Society / ACM, (2000)Modeling and Designing Heterogeneous Systems., , , , , и . Concurrency and Hardware Design, том 2549 из Lecture Notes in Computer Science, стр. 228-273. Springer, (2002)Assertion-based power/performance analysis of network processor architectures., , , , , и . HLDVT, стр. 155-160. IEEE Computer Society, (2004)Schedule Validation for Embedded Reactive Real-Time Systems., и . DAC, стр. 52-57. ACM Press, (1997)Task scheduling with RT constraints., , и . DAC, стр. 483-488. ACM, (2000)Automatic trace analysis for logic of constraints., , , и . DAC, стр. 460-465. ACM, (2003)An Iterative Approach to Language Containment., и . CAV, том 697 из Lecture Notes in Computer Science, стр. 29-40. Springer, (1993)HSIS: A BDD-Based Environment for Formal Verification., , , , , , , , , и 3 other автор(ы). DAC, стр. 454-459. ACM Press, (1994)Priority Assignment for Embedded Reactive Real-Time Systems.. LCTES, том 1474 из Lecture Notes in Computer Science, стр. 146-155. Springer, (1998)