Using a constraint satisfaction formulation and solution techniques for random test program generation
- Eyal Bin
- Roy Emek
- et al.
- 2002
- IBM Systems Journal
Paper
Publications
285 results at IBM Systems Journal
Predictive algorithms in the management of computer systems
- Ricardo Vilalta
- Chidanand V. Apte
- et al.
- 2002
- IBM Systems Journal
PaperSoftware debugging, testing, and verification
- Brent Hailpern
- Padmanabhan Santhanam
- 2002
- IBM Systems Journal
PaperRelational extensions for OLAP
- N. Colossi
- W. Malloy
- et al.
- 2002
- IBM Systems Journal
PaperMachine learning in a multimedia document retrieval framework
- Michael P. Perrone
- Gregory F. Russell
- et al.
- 2002
- IBM Systems Journal
PaperDiscovering actionable patterns in event data
- Joseph L. Hellerstein
- Sheng Ma
- et al.
- 2002
- IBM Systems Journal
PaperA decision-tree-based symbolic rule induction system for text categorization
- David E. Johnson
- Frank J. Oles
- et al.
- 2002
- IBM Systems Journal
PaperInformation integration: A new generation of information technology
- M.A. Roth
- D.C. Wolfson
- et al.
- 2002
- IBM Systems Journal
PaperAn architecture of diversity for commonsense reasoning
- J. McCarthy
- M. Minsky
- et al.
- 2002
- IBM Systems Journal
ReviewCharacteristics of production database workloads and the TPC benchmarks
- W.W. Hsu
- A.J. Smith
- et al.
- 2001
- IBM Systems Journal
Paper