James Huggins
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1998–2003
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | APSEC | A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. | Wuwei Shen, Kevin J. Compton, James Huggins |
| 2002 | COMPSAC | A Toolset for Supporting UML Static and Dynamic Model Checking. | Wuwei Shen, Kevin J. Compton, James Huggins |
| 1998 | DAC | Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor - The DEC Alpha 21264 Microprocessor. | Scott A. Taylor, Michael Quinn, Darren Brown, Nathan Dohm, Scot Hildebrandt, James Huggins, Carl Ramey |
| 1998 | ICCD | Zen and the art of Alpha verification. | Nathan Dohm, Carl Ramey, Darren Brown, Scot Hildebrandt, James Huggins, Michael Quinn, Scott A. Taylor |