848 search results - page 140 / 170 » A Generative Programming Approach to Developing DSL Compiler... |
168
click to vote
SAS
2001
Springer
15 years 5 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
129
Voted
AIPS
2009
15 years 1 months ago
2009
Dynamic plan execution strategies allow an autonomous agent to respond to uncertainties while improving robustness and reducing the need for an overly conservative plan. Executive...
97
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
110
click to vote
FM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
110
Voted
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...