409 search results - page 65 / 82 » Functional Validation of Programmable Architectures |
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Software clustering techniques are useful for extracting architectural information about a system directly from its source code structure. This paper starts by examining ...
E4MAS
2006
Springer
14 years 1 months ago
2006
Springer
One large and quite interesting family of MAS applications is characterized (1) by their large scale in terms of number of agents and physical distribution, (2) by their very dynam...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we present results from our empirical evaluations of a workspace awareness tool that we designed and implemented to augment the functionality of software configurat...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...