Zobrazeno 1 - 10
of 12
pro vyhledávání: '"analyses statiques"'
Publikováno v:
[Research Report] RR-9227, INRIA Grenoble-Rhône-Alpes. 2018, pp.1-19
Dataflow Models of Computation (MoCs) are widely used in embedded systems, including multimedia processing, digital signal processing, telecommunications, and automatic control. In a dataflow MoC, an application is specified as a graph of actors conn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______212::2efb00044a3e65dada852a3effa65b1d
https://hal.inria.fr/hal-02079683v2/file/RR9227.pdf
https://hal.inria.fr/hal-02079683v2/file/RR9227.pdf
Publikováno v:
[Research Report] RR-9227, INRIA Grenoble-Rhône-Alpes. 2018, pp.1-19
Dataflow Models of Computation (MoCs) are widely used in embedded systems, including multimedia processing, digital signal processing, telecommunications, and automatic control. In a dataflow MoC, an application is specified as a graph of actors conn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2efb00044a3e65dada852a3effa65b1d
https://hal.inria.fr/hal-02079683v2/file/RR9227.pdf
https://hal.inria.fr/hal-02079683v2/file/RR9227.pdf
Publikováno v:
[Research Report] RR-9076, ENS Lyon; CNRS; INRIA. 2016
Pentagons is an abstract domain invented by Logozzo and Fähndrich to validate arrayaccesses in low-level programming languages. This algebraic structure provides a cheap “less-thancheck”, which builds a partial order between the integer variable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7be8eb3dc8133c19f91f51dba9a4f089
https://inria.hal.science/hal-01429777
https://inria.hal.science/hal-01429777
Autor:
Dubois, Florentine
Les réseaux sur puces (SoCs - Networks-on-chip) sont apparus durant la dernière décennie en tant que solution flexible et efficace pour interconnecter le nombre toujours croissant d'éléments inclus dans les systèmes sur puces (SoCs - Systems-on
Externí odkaz:
http://www.theses.fr/2013GRENM026/document
Autor:
Dubois, Florentine
Publikováno v:
Autre [cs.OH]. Université de Grenoble, 2013. Français. ⟨NNT : 2013GRENM026⟩
In the last decade, Networks-on-chip (NoCs) have emerged as an efficient and flexible interconnect solution to handle the increasing number of processing elements included in Systems-on-chip (SoCs). NoCs are able to handle high-bandwidth and scalabil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8c8fef757b364ebac4fa77774d394096
https://tel.archives-ouvertes.fr/tel-00877956v2/file/pdf2star-1382690607-32467_DUBOIS_2013_archivage.pdf
https://tel.archives-ouvertes.fr/tel-00877956v2/file/pdf2star-1382690607-32467_DUBOIS_2013_archivage.pdf
Autor:
Théoduloz, Grégory
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers, on one hand, are still mostly concerned with precision, e.g., the removal of spurious counter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bada24aa39878083e1b1e1a8c0fea657
Autor:
Rached, Samah
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
Externí odkaz:
http://hdl.handle.net/1866/16690
Autor:
Dagnat, Fabien
Publikováno v:
Langage de programmation [cs.PL]. Institut National Polytechnique De Toulouse, 2001. Français
In the context of actors, concurrent objects, and more generally inclient/server software, some requests will not be treated by theirtarget. Such a request is called an orphan message and can be either asafety orphan (its target will never be able to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::91840abb445aaaf0b61dfbaf85102d85
https://hal.archives-ouvertes.fr/tel-02061997/document
https://hal.archives-ouvertes.fr/tel-02061997/document
Autor:
Dagnat, Fabien
In the context of actors, concurrent objects, and more generally inclient/server software, some requests will not be treated by theirtarget. Such a request is called an orphan message and can be either asafety orphan (its target will never be able to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::91840abb445aaaf0b61dfbaf85102d85
https://hal.science/tel-02061997
https://hal.science/tel-02061997
Autor:
Duris, Étienne
L'ingénierie du logiciel doit concilier, d'une part, la modularité requise par les phases de développement et de maintenance et, d'autre part, l'efficacité indispensable dans la mise en oeuvre des applications. Ce dilemme nécessite des méthodes
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00620486
http://tel.archives-ouvertes.fr/docs/00/62/04/86/PDF/These98.pdf
http://tel.archives-ouvertes.fr/docs/00/62/04/86/PDF/These98.pdf