Author Info
Name
Affiliation
Papers
CHAIYASIT MANOVIT
Sun Microsystems, Sunnyvale, CA
6
Collaborators
Citations 
PageRank 
13
114
6.48
Referers 
Referees 
References 
203
141
65
Search Limit
100203
Title
Citations
PageRank
Year
Historical Research Using Email Archives00.342015
Completely verifying memory consistency of test program executions160.812006
Testing implementations of transactional memory160.772006
Efficient algorithms for verifying memory consistency170.942005
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model562.922004
Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences90.691998