Adrian Larkham

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Delay Insensitive

Parallel Architectures

Parallel Processing

Ultra Low Power

Top Venues

Softw. Syst. Model.

Publications

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis
An integrated semantics for reasoning about SysML design models using refinement. Softw. Syst. Model. 16 (3) (2017)
Ludovic Gauthier, Ian Gray, Adrian Larkham, Gasser Ayad, Andrea Acquaviva, Kelvin Nilsen
Explicit Java control of low-power heterogeneous parallel processing in the ToucHMore project. JTRES (2013)
Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda
The SATURN Approach to SysML-Based HW/SW Codesign. ISVLSI (Selected papers) (2010)
Kelvin Nilsen, Adrian Larkham
Applying Java™ Technologies to Mission-Critical and Safety-Critical Development. SSS (2005)