Hardware debugging method based on signal transitions and transactions
- Nobuyuki Ohba
- Kohji Takano
- 2006
- ASP-DAC 2006
Conference paper
Publications
9271 results for Computer Science
Ontologies for specifying and reconciling contexts of web services
- S. Sattanathan
- N.C. Narendra
- et al.
- 2005
- CONTEXT 2005
Workshop paperConfidence modeling for handwriting recognition: Algorithms and applications
- John F. Pitrelli
- Jayashree Subrahmonia
- et al.
- 2006
- IJDAR
PaperAn extensible spatial and temporal epidemiological modelling system
- Daniel Alexander Ford
- James H. Kaufman
- et al.
- 2006
- International Journal of Health Geographics
PaperIntegrating generations with advanced reference counting garbage collectors
- Hezi Azatchi
- Erez Petrank
- 2006
- CCPE
PaperAdaptive application of SAT solving techniques
- Ohad Shacham
- Karen Yorav
- 2005
- CAV 2005
Workshop paperText classification without negative examples revisit
- Gabriel Pui Cheong Fung
- Jeffrey X. Yu
- et al.
- 2006
- IEEE Transactions on Knowledge and Data Engineering
PaperModel driven development for business performance management
- Pawan Chowdhary
- Kumar Bhaskaran
- et al.
- 2006
- IBM Systems Journal
PaperInvestigating traffic congestion in Shanghai: a system dynamics approach
- Ying Qian
- Yongguang Zhong
- et al.
- 2006
- International Journal of Services Operations and Informatics
PaperTechnical forum: Using logical data models for understanding and transforming legacy business applications
- Satish Chandra
- Jackie de Vries
- et al.
- 2006
- IBM Systems Journal
Paper