230 search results - page 24 / 46 » Scaling Up Rule-Based Software Development Environments |
KBSE
2006
IEEE
14 years 2 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
HIPEAC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The interest in translation-based virtual execution environments (VEEs) is growing with the recognition of their importance in a variety of applications. However, due to ...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
IJHPCA
2002
13 years 8 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...