James Ball is an author at Washington State University specializing in system software, compilers, and geophysics.
Top concepts
CompilersGeophysicsEngineeringFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisParallel ComputingFormal VerificationComputer Engineering
Publications per year
1996–2002
2
2
Incas: a cycle accurate model of UltraSPARC
G. Maturana, James Ball, J.D. Gee et al. · 2002 · 13 citations
Engineering, Hardware Verification Language, Computer Architecture +19
Elise DeDoncker, Ajay Gupta, James Ball et al. · 1996 · 10 citations
Rows per page
1–2 of 2