|
Search the dblp DataBase
Chaiyasit Manovit:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun
Testing implementations of transactional memory. [Citation Graph (0, 0)][DBLP] PACT, 2006, pp:134-143 [Conf]
- Chaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana
Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences. [Citation Graph (0, 0)][DBLP] ICES, 1998, pp:98-105 [Conf]
- Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. [Citation Graph (0, 0)][DBLP] ISCA, 2004, pp:114-123 [Conf]
- Chaiyasit Manovit, Sudheendra Hangal
Efficient algorithms for verifying memory consistency. [Citation Graph (0, 0)][DBLP] SPAA, 2005, pp:245-252 [Conf]
Completely verifying memory consistency of test program executions. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|