1173 search results - page 44 / 235 » Program Derivation Using Analogy |
109
Voted
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
104
Voted
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
106
Voted
ASWEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Automatic identification of software faults has enormous practical significance. This requires characterizing program execution behavior. Equally important is the aspect of diagno...
119
Voted
EMISA
2007
Springer
15 years 8 months ago
2007
Springer
: Work systems are complex artifacts that address the concerns of a large and diverse group of stakeholders. These concerns must be reflected in the models which are created as use...
108
Voted
UIST
1993
ACM
15 years 6 months ago
1993
ACM
Maintaining knowledge of current position and orientation is frequently a problem for people in virtual environments. In this paper we present a toolset of techniques based on pri...