300 search results - page 17 / 60 » Using probabilistic reasoning to automate software tuning |
100
click to vote
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
EWCBR
1998
Springer
1998
Springer
Collecting Experience on the Systematic Development of CBR Applications Using the INRECA Methodology
15 years 1 months ago
This paper presents an overview of the INRECA methodology for building and maintaining CBR applications. This methodology supports the collection and reuse of experience on the sys...
98
Voted
ASE
2005
14 years 9 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
100
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...