Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę ""Mallet, Frédéric"" wg kryterium: Autor


Tytuł:
Formal Verification of Cyber-Physical Systems Using Theorem Proving
Autorzy:
Rashid, Adnan
Siddique, Umair
Tahar, Sofiène
Pokaż więcej
Źródło:
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:3-18
Książka elektroniczna
Tytuł:
Verifying Resource Adequacy of Networked IMA Systems at Concept Level
Autorzy:
Saar de Moraes, Rodrigo
Nadjm-Tehrani, Simin
Pokaż więcej
Źródło:
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:40-56
Książka elektroniczna
Tytuł:
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study
Autorzy:
Yuan, Shenghao
Yang, Zhibin
Bodeveix, Jean-Paul
Filali, Mamoun
Wang, Tiexin
Zhou, Yong
Pokaż więcej
Źródło:
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:57-73
Materiał oryginalny:
Supported by organization by the National Natural Science Foundation of China (61502231); The National Key Research and Development Program of China (2016YFB1000802); The Natural Science Foundation of Jiangsu Province (BK20150753); The National Defense Basic Scientific Research Project under Grant of China (JCKY2016203B011); The Fundamental Research Funds for the Central Universities (NP2017205); the Foundation of Graduate Innovation Center in NUAA (kfjj20181603).
Książka elektroniczna
Tytuł:
POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations
Autorzy:
Ben Khalifa, Dorra
Martel, MatthieuAff8, Aff9
Adjé, Assalé
Pokaż więcej
Źródło:
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:77-94
Książka elektroniczna
Tytuł:
A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas
Autorzy:
Yu, Emily
Seidl, Martina
Biere, Armin
Pokaż więcej
Źródło:
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:127-132
Materiał oryginalny:
This work was supported by the Austrian FWF grant W1255-N23 and the LIT AI Lab funded by the State of Upper Austria.
Książka elektroniczna
Tytuł:
Formal Semantics Extraction from MIPS Instruction Manual
Autorzy:
Trac, Quang Thinh
Ogawa, Mizuhito
Pokaż więcej
Źródło:
Formal Techniques for Safety-Critical Systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers. 1165:133-140
Książka elektroniczna
Tytuł:
Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools
Autorzy:
Doroshenko, Anatoliy
Beketov, Oleksii
Bondarenko, Mykola
Yatsenko, Olena
Pokaż więcej
Źródło:
Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers. 1175:3-23
Książka elektroniczna

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz