161 search results - page 23 / 33 » Improving the Testing and Testability of Software Product Li... |
ECIS
2000
13 years 8 months ago
2000
: ASP (Application Server Provider) marketplaces provide a fundamental alternative to the classical business model of software licensing. At this point, it is still unclear why and...
EUROPAR
2010
Springer
13 years 8 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
SOFTWARE
2011
13 years 2 months ago
2011
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...
AAAI
1994
13 years 8 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
ICTAC
2010
Springer
13 years 6 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...