Zobrazeno 1 - 10
of 500
pro vyhledávání: '"Colley, John"'
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.
The HSA Foundation has produced the HSA Platform System Architecture Specification that goes a long way towards addressing the need for a clear and consistent method for specifying weakly consistent memory. HSA is specified in a natural language whic
Externí odkaz:
http://arxiv.org/abs/1605.04744
Autor:
Butler, Michael, Colley, John, Edmunds, Andrew, Snook, Colin, Evans, Neil, Grant, Neil, Marshall, Helen
Publikováno v:
EPTCS 115, 2013, pp. 36-51
This paper provides an overview of the CODA framework for modelling and refinement of component-based embedded systems. CODA is an extension of Event-B and UML-B and is supported by a plug-in for the Rodin toolset. CODA augments Event-B with construc
Externí odkaz:
http://arxiv.org/abs/1305.6112
The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simulation of cyber-physical systems using Event-B. Using this approach we
Externí odkaz:
http://arxiv.org/abs/1210.7034
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.
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.
Publikováno v:
Glass Age. Jun2006, Vol. 49 Issue 6, p4-8. 3p.
Autor:
Smith, Erin
Publikováno v:
Harpers Wine & Spirit. Jul2016, Issue 143, p53-53. 1p. 1 Color Photograph.