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

Kaiyu Chen Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Chen, Sharad Malik, Priyadarsan Patra: Runtime validation of memory ordering using constraint graph checking. HPCA 2008: 415-426
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Chen, Sharad Malik, Priyadarsan Patra: Runtime Validation of Transactional Memory Systems. ISQED 2008: 750-756
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Chen, Sharad Malik: Dependable Multithreaded Processing Using Runtime Validation. PRDC 2006: 275-286
2001
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKaiyu Chen, Sharad Malik, David I. August: Retargetable static timing analysis for embedded software. ISSS 2001: 39-44

Coauthor Index

1David I. August [1]
2Sharad Malik [1] [2] [3] [4]
3Priyadarsan Patra [3] [4]

Last update Tue May 29 01:28:40 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page