Login / Signup
James Lear
Publication Activity (10 Years)
Years Active: 1997-2019
Publications (10 Years): 1
Top Topics
Low Cost
Pattern Mining
Similar Patterns
Visualization Tool
Top Venues
EuroPLoP
</>
Publications
</>
James Lear
,
Simon Scarle
,
Richard McClatchey
Asset pipeline patterns: patterns in interactive real-time visualization workflow.
EuroPLoP
(2019)
Richard Raimi
,
James Lear
Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking.
Formal Methods Syst. Des.
21 (1) (2002)
Richard Raimi
,
James Lear
620 Microprocessor Silicon Failure Using Model Checking.
ITC
(1997)