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ę ""Zhang, Yuanrui"" wg kryterium: Autor


Tytuł:
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
Autorzy:
Zhang, Yuanrui
Wu, Hengyang
Chen, Yixiang
Mallet, Frédéric
Pokaż więcej
Źródło:
Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. 1008:101-118
Materiał oryginalny:
F. Mallet—This work was partly funded by the French Government, through program #ANR-11-LABX-0031-01.
Książka elektroniczna
Tytuł:
PSTeC: A Location-Time Driven Modelling Formalism for Probabilistic Real-Time Systems
Autorzy:
He, Kangli
Chen, Yixiang
Zhang, Min
Zhang, Yuanrui
Pokaż więcej
Źródło:
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4–6, 2016, Proceedings. 9629:77-91
Książka elektroniczna
Tytuł:
A Framework for Data-Driven Automata Design
Autorzy:
Zhang, Yuanrui
Chen, Yixiang
Ma, Yujing
Pokaż więcej
Źródło:
Requirements Engineering in the Big Data Era : Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings. 558:33-47
Książka elektroniczna
Tytuł:
Multilayer Cache Partitioning for Multiprogram Workloads
Autorzy:
Kandemir, Mahmut
Prabhakar, Ramya
Karakoy, Mustafa
Zhang, Yuanrui
Pokaż więcej
Źródło:
Euro-Par 2011 Parallel Processing : 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I. 6852:130-141
Materiał oryginalny:
This research is supported in part by NSF grants 1017882, 0963839, CNS 0720645, CCF 0811687, CCF 0702519 and a grant from Microsoft Corporation.
Książka elektroniczna
Tytuł:
Automated Tracing of I/O Stack
Autorzy:
Kim, Seong Jo
Zhang, Yuanrui
Son, Seung Woo
Prabhakar, Ramya
Kandemir, Mahmut
Patrick, Christina
Liao, Wei-keng
Choudhary, Alok
Pokaż więcej
Źródło:
Recent Advances in the Message Passing Interface : 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings. 6305:72-81
Materiał oryginalny:
This work is supported in part by NSF grants 0937949, 0621402, 0724599, 0821527, 0833126, 0720749, 0621443, 0724599, and 0833131 and DOE grants DEAC02-06CH11357, DE-FG02-08ER25848, DE-SC0002156, and DESC0001283.
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