Sciweavers

2111 search results - page 259 / 423
» An Approach to Software Testing of Machine Learning Applicat...
Sort
View
169
Voted
JFP
2007
126views more  JFP 2007»
15 years 3 months ago
Engineering Software Correctness
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
Rex L. Page
148
Voted
EUROSYS
2006
ACM
16 years 1 months ago
Solving the starting problem: device drivers as self-describing artifacts
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
Michael F. Spear, Tom Roeder, Orion Hodson, Galen ...
ECTEL
2007
Springer
15 years 10 months ago
A Question Answering Service for Information Retrieval in Cooper
In Cooper, part of the student support will be provided by a Question Answering application in the form of a webservice. Question Answering allows a user to use the content of proj...
Bas Giesbers, Antonio Vincenzo Taddeo, Wim van der...
140
Voted
CANPC
1999
Springer
15 years 8 months ago
Implementing Application-Specific Cache-Coherence Protocols in Configurable Hardware
Streamlining communication is key to achieving good performance in shared-memory parallel programs. While full hardware support for cache coherence generally offers the best perfo...
David Brooks, Margaret Martonosi
137
Voted
SAC
2010
ACM
15 years 10 months ago
Extraction of component-environment interaction model using state space traversal
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
Pavel Parizek, Nodir Yuldashev