|
Search the dblp DataBase
Chunbo Chu:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Chunbo Chu, Monica Brockmeyer
Fast Online Predicate Detection Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] Computers and Their Applications, 2005, pp:470-477 [Conf]
- Monica Brockmeyer, Chunbo Chu
Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure. [Citation Graph (0, 0)][DBLP] PODC, 2004, pp:389- [Conf]
- Jawwad Shamsi, Chunbo Chu, Monica Brockmeyer
Towards Partially Synchronous Overlays: Issues and Challenges. [Citation Graph (0, 0)][DBLP] AAA-IDEA, 2005, pp:10-17 [Conf]
- Chuanshan Gao, Liangxiu Han, Zhiwei Cen, Chunbo Chu
A New Multifractal Traffic Model Based on the Wavelet Transform. [Citation Graph (0, 0)][DBLP] ISCA PDCS, 2001, pp:157-162 [Conf]
- Chunbo Chu, Monica Brockmeyer
Real-time predicate detection in timed asynchronous systems. [Citation Graph (0, 0)][DBLP] ISCA PDCS, 2007, pp:193-199 [Conf]
Predicate Detection Modality and Semantics in Three Partially Synchronous Models. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|