Autor: "Zhang, Yuanrui" - OpacWWW - Prolib Integro

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

Wyświetlanie 1-11 z 11

Zaznacz stronę

Skocz do pozycji: 1.

Tytuł:: Prevalence and multilocus sequence typing of Clostridium perfringens isolated from retail chicken products and diseased chickens in Tai'an region, China.
Autorzy:: Xu, Wenping
Zhang, Huining
Hu, Zixin
Miao, Zengmin
Zhang, Yuanrui
Wang, Hairong; Pokaż więcej
Temat:: CLOSTRIDIUM perfringens
GENETIC variation
CHICKENS
NECROTIC enteritis
MICROBIAL sensitivity tests
ANIMAL diseases
Źródło:: Veterinary Medicine & Science; Nov2021, Vol. 7 Issue 6, p2339-2347, 9p
Terminy geograficzne:: CHINA

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 2.

Tytuł:: A dynamic logic for verification of synchronous models based on theorem proving.
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Liu, Zhiming; Pokaż więcej
Źródło:: Frontiers of Computer Science; Aug2022, Vol. 16 Issue 4, p1-3, 3p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A verification framework for spatio-temporal consistency language with CCSL as a specification language.
Autorzy:: Zhang, Yuanrui
Mallet, Frédéric
Chen, Yixiang; Pokaż więcej
Źródło:: Frontiers of Computer Science; Feb2020, Vol. 14 Issue 1, p105-129, 25p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 4.

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 & Evaluation of Dependable Computer & Communication Systems; 2016, p77-91, 15p

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

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; 2015, p33-47, 15p

Książka

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Optimizing off-chip accesses in multicores.
Autorzy:: Ding, Wei
Tang, Xulong
Kandemir, Mahmut
Zhang, Yuanrui
Kultursay, Emre; Pokaż więcej
Źródło:: ACM / SIGPLAN Notices; Jun2015, Vol. 50 Issue 6, p131-142, 12p

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: IOPro: a parallel I/O profiling and visualization framework for high-performance storage systems.
Autorzy:: Kim, Seong
Zhang, Yuanrui
Son, Seung
Kandemir, Mahmut
Liao, Wei-keng
Thakur, Rajeev
Choudhary, Alok; Pokaż więcej
Temat:: HIGH performance computing
SUPERCOMPUTERS
ELECTRONIC data processing
COMPUTER programming
MACHINE translating
INTEGRATED circuits
Źródło:: Journal of Supercomputing; Mar2015, Vol. 71 Issue 3, p840-870, 31p

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 8.

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; 2010, p72-81, 10p

Książka

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores.
Autorzy:: Zhang, Yuanrui
Liu, Jun
Kultursay, Emre
Kandemir, Mahmut
Pitsianis, Nikos
Sun, Xiaobai; Pokaż więcej
Źródło:: Euro-par 2010 - Parallel Processing (9783642152900); 2010, p125-136, 12p

Książka

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Compiler-directed file layout optimization for hierarchical storage systems.
Autorzy:: Ding, Wei
Zhang, Yuanrui
Kandemir, Mahmut
Son, Seung Woo; Pokaż więcej
Temat:: HIERARCHICAL storage management (Computers)
CACHE memory
COMPILERS (Computer programs)
COMPUTER storage devices
MEMORY hierarchy (Computer science)
Źródło:: Scientific Programming; 2013, Vol. 21 Issue 3, p65-78, 14p

Czasopismo naukowe

na półce

Pełny tekst Szczegóły

Skocz do pozycji: 11.

Tytuł:: Accurate Area, Time and Power Models for FPGA-Based Implementations.
Autorzy:: Deng, Lanping
Sobti, Kanwaldeep
Zhang, Yuanrui
Chakrabarti, Chaitali; Pokaż więcej
Źródło:: Journal of Signal Processing Systems for Signal, Image & Video Technology; Apr2011, Vol. 63 Issue 1, p39-50, 12p, 3 Diagrams, 14 Charts

Czasopismo naukowe

na półce

Szczegóły

Wyświetlanie 1-11 z 11

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