1342 search results - page 198 / 269 » Ordered Programs as Abductive Systems |
GECCO
2006
Springer
14 years 13 days ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
EWSPT
1995
Springer
14 years 10 days ago
1995
Springer
Software development organizations are beginning to recognize that measurement is a prerequisite for systematic process improvement, and have started to measure their products and...
MSR
2010
ACM
13 years 10 months ago
2010
ACM
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
SDL
2001
13 years 10 months ago
2001
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
AAMAS
2008
Springer
13 years 9 months ago
2008
Springer
Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper consi...