Sciweavers

967 search results - page 31 / 194
» Automated benchmarking and analysis tool
Sort
View
MM
2004
ACM
94views Multimedia» more  MM 2004»
14 years 1 months ago
Towards automated story analysis using participatory design
Involving a school teacher in the development of the intelligent writing tutor StoryStation allowed progress to be made on the problem of story classiļ¬cation, an aspect of story...
Harry Halpin, Johanna D. Moore, Judy Robertson
BMCBI
2008
141views more  BMCBI 2008»
13 years 7 months ago
EzArray: A web-based highly automated Affymetrix expression array data management and analysis system
Background: Though microarray experiments are very popular in life science research, managing and analyzing microarray data are still challenging tasks for many biologists. Most m...
Yuerong Zhu, Yuelin Zhu, Wei Xu
SIGSOFT
2004
ACM
14 years 1 months ago
Automating comprehensive safety analysis of concurrent programs using verisoft and TXL
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
Jürgen Dingel, Hongzhi Liang
EWCBR
2004
Springer
13 years 11 months ago
Using CBR for Semantic Analysis of Software Specifications
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
Nuno Seco, Paulo Gomes, Francisco C. Pereira
PPOPP
2005
ACM
14 years 1 months ago
Automated type-based analysis of data races and atomicity
Concurrent programs are notorious for containing errors that are diļ¬ƒcult to reproduce and diagnose at run-time. This motivated the development of type systems that statically en...
Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott...