From post

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.

 

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

First results with eBlocks: embedded systems building blocks., , , и . CODES+ISSS, стр. 168-175. ACM, (2003)Simulation Trace Verification for Quantitative Constraints., , , и . Embedded Software for SoC, Kluwer / Springer, (2003)eBlocks - an enabling technology for basic sensor based systems., , , и . IPSN, стр. 422-427. IEEE, (2005)Logic of constraints: a quantitative performance and functional constraint formalism., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 23 (8): 1243-1255 (2004)Efficient methods for embedded system design space exploration., , , и . DAC, стр. 607-612. ACM, (2000)A case study in computer-aided codesign of embedded controllers., , , , , , , и . CODES, стр. 220-224. IEEE Computer Society, (1994)Memory subsystem simulation in software TLM/T models., , и . ASP-DAC, стр. 811-816. IEEE, (2009)Case Studies of Model Checking for Embedded System Designs., , , и . ACSD, стр. 20-28. IEEE Computer Society, (2003)Communication and co-simulation infrastructure for heterogeneous system integration., , , , и . DATE, стр. 462-467. European Design and Automation Association, Leuven, Belgium, (2006)Runtime Deadlock Analysis of SystemC Designs., , , , и . HLDVT, стр. 187-194. IEEE Computer Society, (2006)