Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Brian Ritchie"'
Autor:
Saurabh Singh, Pulathis Nilantha Siriwardana, Edward William Johnston, Jennifer Watkins, Steven Bandula, Rowland Oliver Illing, Brian Ritchie Davidson
Publikováno v:
International Journal of Hyperthermia, Vol 36, Iss 1, Pp 444-444 (2019)
Externí odkaz:
https://doaj.org/article/7dc9a0748bf6453dbecb835813cb861e
Autor:
Gonzelez, Hector Jazmin, Sahay, Samir J., Samadi, Benny, Davidson, Brian Ritchie, Rahman, Sakhawat Hussain *
Publikováno v:
In HPB December 2011 13(12):860-864
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Brian Ritchie
RavenDB High Performance is comprehensive yet concise tutorial that developers can use to.This book is for developers & software architects who are designing systems in order to achieve high performance right from the start. A basic understanding of
Publikováno v:
Formal Aspects of Computing. 10:532-549
VDM and B are two mature formal methods currently in use by industry and supported by commercial tools. Though the methods are foundationally similar, the coverage of their supporting tools differ significantly. The SPECTRUM project has investigated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fee20160d35d2dededaa62418befe7be
https://doi.org/10.1007/s001650050031
https://doi.org/10.1007/s001650050031
Autor:
Singh, Saurabh, Johnston, Edward William, Bandula, Steven, Illing, Rowland, Siriwardana, Pulathis Nilantha, Davidson, Brian Ritchie, Watkins, Jennifer
Publikováno v:
International Journal of Hyperthermia; Nov2018, Vol. 34 Issue 7, p1114-1120, 7p
Autor:
Srikanth Nagella, Federico Montesino Pouzols, Erica Yang, Genoveva Burca, John Hill, Brian Ritchie, Nicholas Draper, Christopher Moreton-Smith, Derek Ross, Winfried Kockelmann, Ahmed Sajid, Triestino Minniti
Publikováno v:
Journal of Physics: Conference Series. 746:012017
Several imaging instruments are currently being constructed at neutron sources around the world. The Mantid software project provides an extensible framework that supports high-performance computing for data manipulation, analysis and visualisation o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52cb843ab2aec1a4d072471e23c55002
https://doi.org/10.1088/1742-6596/746/1/012017
https://doi.org/10.1088/1742-6596/746/1/012017
Autor:
Brian Ritchie, Juan Bicarregui
Publikováno v:
IEEE Transactions on Software Engineering. 21:79-89
VDM and B are two "model-oriented" formal methods. Each gives a notation for the specification of systems as state machines in terms of a set of states with operations defined as relations on that set. Each has a notion of refinement of data and oper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ebb6f1ed14404b93a92a33e77c7ab568
https://doi.org/10.1109/32.345824
https://doi.org/10.1109/32.345824
Autor:
Julian Gallop, Tom Kirkham, Damian Mac Randal, S. Beco, Ian Johnson, Brian Ritchie, Annalisa Terracina
Publikováno v:
GCC Workshops
The service orchestration problem is a problem of making multiple services coordinate themselves and communicate in an orderly fashion so as to accomplish a task more complex than the single tasks provided by the individual composing services. By ena
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9968e326837d653a9b290c73e71c8c9
https://doi.org/10.1109/gccw.2006.70
https://doi.org/10.1109/gccw.2006.70
Autor:
Brian Ritchie, Juan Bicarregui
Publikováno v:
Lecture Notes in Computer Science ISBN: 3540566627
FME
FME
VDM and B are two “model-oriented” formal methods. Each gives a notation for the specification of systems as state machines in terms of a set of states with operations defined as relations on that set. Each has a notion of refinement of data and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9abcb736db03ccb05bc6a2e78c95a18
https://doi.org/10.1007/bfb0024645
https://doi.org/10.1007/bfb0024645