Zobrazeno 1 - 10
of 131
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:
Colley, John Graham
There is a widespread presumption in the strategy literature that firms enjoying a competitive advantage in commodity-producing industries do so as a result of following cost leadership strategies. This thesis as monograph re-evaluates that presumpti
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.546582
Autor:
Colley, John
Modern System-on-chip (SoC) hardware design puts considerable pressure on existing design and verification flows, languages and tools. The Register Transfer Level (RTL)description, which forms the input for synchronous, logic synthesis-driven design
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.533327
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.
Autor:
Davis, Edward W., Colley, John L.
Publikováno v:
Darden Business Publishing Cases, 2017, pp. 1-8.
