Concepedia

Yin Wang

YW

10

Publications

360

Citations

10

H-Index

2008

Active since

Affiliations

Hewlett-Packard (United States)(Current)

University of Michigan

Georgia Institute of Technology

Shandong University

Shandong University of Science and Technology

Yin Wang is an author at Hewlett-Packard (United States) specializing in computer science, computer engineering, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsProgram AnalysisFormal VerificationComputer ArchitectureSystem SoftwareSoftware AnalysisParallel Computing

Publications per year

2008–2021

10

Publications

10

Gadara: dynamic deadlock avoidance for multithreaded programs

Yin Wang, Terence Kelly, Manjunath Kudlur et al. · Operating Systems Design and Implementation · 2008 · 129 citations

Engineering, Computer Architecture, Multithreading (Computer Architecture) +16

Stability analysis of Riemann-Liouville fractional-order neural networks with reaction-diffusion terms and mixed time-varying delays

Xiang Wu, Shutang Liu, Yin Wang · Neurocomputing · 2020 · 42 citations

Time Delay System, Fractional-order System, Reaction-diffusion Terms +4

Eliminating Concurrency Bugs with Control Engineering

Terence Kelly, Yin Wang, Stéphane Lafortune et al. · Computer · 2009 · 40 citations

Software Maintenance, Engineering, Computer Architecture +20

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control

Hongwei Liao, Yin Wang, Jason Stanley et al. · IEEE Transactions on Control Systems Technology · 2013 · 34 citations

Software Maintenance, Engineering, Computer Architecture +25

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software

Yin Wang, Hongwei Liao, Spyros Reveliotis et al. · 2009 · 31 citations

Petri Net, Engineering, Computer Architecture +24

Rows per page

1–5 of 10