1
Publications
217
Citations
1
H-Index
1987
Active since
Affiliations
Cambridge Scientific (United States)(Current)
Karp is an author at Cambridge Scientific (United States) specializing in formal methods, parallel programming, and parallel computing.
Top concepts
EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingComputer EngineeringParallel Programming
Publications per year
1987–1987
1
1
Karp · Computer · 1987 · 217 citations
Engineering, Computer Architecture, Parallel Implementation +18
Rows per page
1–1 of 1