Membership
Tour
Register
Log in
Yang Yu
Follow
Person
Salt Lake City, UT, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Symbolic reduction of dynamic executions of concurrent programs
Patent number
8,359,578
Issue date
Jan 22, 2013
NEC Laboratories America, Inc.
Chao Wang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Fast and accurate static data-race detection for concurrent programs
Patent number
8,185,875
Issue date
May 22, 2012
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Method and System for Synthesizing Relative Timing Constraints on a...
Publication number
20110161902
Publication date
Jun 30, 2011
Kenneth S. Stevens
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYMBOLIC REDUCTION OF DYNAMIC EXECUTIONS OF CONCURRENT PROGRAMS
Publication number
20100088681
Publication date
Apr 8, 2010
NEC LABORATORIES AMERICA INC
Chao WANG
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
FAST AND ACCURATE STATIC DATA-RACE DETECTION FOR CONCURRENT PROGRAMS
Publication number
20080178156
Publication date
Jul 24, 2008
NEC Laboratories America, Inc.
Vineet Kahlon
G06 - COMPUTING CALCULATING COUNTING