Swarat CHAUDHURI

Follow

Person

UNIVERSITY PARK, PA, US

People

Patents Grantslast 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

Patents Applicationslast 30 patents

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