124 search results - page 13 / 25 » Generating test programs to cover pipeline interactions |
FPL
2009
Springer
14 years 1 months ago
2009
Springer
Although there are many neural network FPGA architectures, there is no framework for designing large, high-performance neural networks suitable for the real world. In this paper, ...
SIGCSE
2008
ACM
13 years 8 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
FATES
2003
Springer
14 years 2 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
HICSS
1995
IEEE
14 years 11 days ago
1995
IEEE
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...