1678 search results - page 49 / 336 » An ASM Specification of C |
EENERGY
2010
13 years 11 months ago
2010
From an ecological but also from an economical and in the meantime a technical view the fast ongoing increase of power consumption in today’s data centers is no longer feasible....
FASE
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
SOSYM
2002
13 years 7 months ago
2002
Abstract. The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface suite is a coherent collection of interf...
AAAI
1994
13 years 9 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...
CSUR
1999
13 years 7 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...