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
Tytuł:
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition
Autorzy:
Ivanov, Ievgen
Nikitchenko, Mykola
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:50-67
Książka elektroniczna
Tytuł:
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality
Autorzy:
Nikitchenko, Mykola
Shkilniak, Oksana
Shkilniak, Stepan
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:68-88
Książka elektroniczna
Tytuł:
SMT-LIB Theory of Nominative Data
Autorzy:
Omelchuk, Liudmyla
Shyshatska, 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:89-110
Książka elektroniczna
Tytuł:
Correction to: Information and Communication Technologies in Education, Research, and Industrial Applications
Autorzy:
Ermolayev, Vadim
Mallet, Frédéric
Yakovyna, Vitaliy
Mayr, Heinrich C.
Spivakovsky, Aleksander
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:C1-C1
Materiał oryginalny:
The updated version of the book can be found at https://doi.org/10.1007/978-3-030-39459-2
Książka elektroniczna
Tytuł:
Intelligent Support of the Business Process Model Analysis and Improvement Method
Autorzy:
Kopp, Andrii
Orlovskyi, Dmytro
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:111-135
Książka elektroniczna
Tytuł:
The Use of Analogy to Simplify the Mathematical Description of the Didactical Process
Autorzy:
Plaskura, Paweł
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:136-160
Książka elektroniczna
Tytuł:
Developing a Mobile Augmented Reality Application for Enhancing Early Literacy Skills
Autorzy:
Ablyaev, Marlen
Abliakimova, Afife
Seidametova, Zarema
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:163-185
Książka elektroniczna
Tytuł:
System for Testing Physics Knowledge
Autorzy:
Lvov, Michail
Kuzmenkov, Sergey
Kravtsov, Hennadiy
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:186-209
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