dblp.uni-trier.dewww.uni-trier.de

Chaiyasit Manovit

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
5EEChaiyasit Manovit, Sudheendra Hangal: Completely verifying memory consistency of test program executions. HPCA 2006: 166-175
4EEChaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, Kunle Olukotun: Testing implementations of transactional memory. PACT 2006: 134-143
2005
3EEChaiyasit Manovit, Sudheendra Hangal: Efficient algorithms for verifying memory consistency. SPAA 2005: 245-252
2004
2EESudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan: TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. ISCA 2004: 114-123
1998
1EEChaiyasit Manovit, Chatchawit Aporntewan, Prabhas Chongstitvatana: Synthesis of Synchronous Sequential Logic Circuits from Partial Input/Output Sequences. ICES 1998: 98-105

Coauthor Index

1Chatchawit Aporntewan [1]
2Hassan Chafi [4]
3Prabhas Chongstitvatana [1]
4Sudheendra Hangal [2] [3] [4] [5]
5Christoforos E. Kozyrakis (Christos Kozyrakis) [4]
6Juin-Yeu Joseph Lu [2]
7Austen McDonald [4]
8Sridhar Narayanan [2]
9Kunle Olukotun (Oyekunle A. Olukotun) [4]
10Durgam Vahia [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)