Výsledky vyhledávání - "Teodorov, C."

Model Checking of SCADE Designed Systems

Autor: Heim, S, Dumas, Xavier, Bonnafous, E, Dhaussy, Philippe, Teodorov, C, Leroux, Lise

Publikováno v: Proceedings of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France

International audience; Model checking is a well-known method to verify a formal model in all possible configurations. Nevertheless this technique can hardly scale up to industrial asynchronous systems because of the state-space explosion problem. To

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5b2ea3f0dfdb1a8329473574fd250ccb
https://hal.archives-ouvertes.fr/hal-01289454

Zobrazit plný text záznamu

Towards a Meta-Language for the Concurrency Concern in DSLs

Autor: Julien Deantoni, Diallo, I. P., Teodorov, C., Champeau, J., Combemale, B.

Publikováno v: IEEE proceedings of Design, Automation and Test in Europe Conference and Exhibition (DATE)
Design, Automation and Test in Europe Conference and Exhibition (DATE)
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Scopus-Elsevier

International audience; Abstract—Concurrency is of primary interest in the development of complex software-intensive systems, as well as thedeployment on modern platforms. Furthermore, Domain-Specific Languages (DSLs) are increasingly used in indus

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c18c390aad2bf0f463854d91d994514d
https://hal.inria.fr/hal-01087442

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Conference

Regular 2D NASIC-based architecture and design space exploration.

Autor: Teodorov, C., Narayanan, P., Lagadec, L., Dezan, C.

Publikováno v: 2011 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH); 2011, p70-77, 8p

Zobrazit plný text záznamu

Conference

FPGA physical-design automation using Model-Driven Engineering.

Autor: Teodorov, C., Picard, D., Lagadec, L.

Publikováno v: 2011 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC); 2011, p1-6, 6p

Zobrazit plný text záznamu

Conference

FPGA SDK for nanoscale architectures.

Autor: Teodorov, C., Lagadec, L.

Publikováno v: 2011 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC); 2011, p1-8, 8p

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání