1264 search results - page 155 / 253 » Abstract machines for programming language implementation |
151
Voted
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
104
Voted
CLUSTER
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the topics of paramount importance in the development of Cluster and Grid middleware is the impact of faults since their occurrence in Grid infrastructures and in large-sca...
118
Voted
APWEB
2005
Springer
15 years 8 months ago
2005
Springer
Aspect-oriented programming (AOP) is a promising field for reducing application complexity. However, it has proven difficult to implement weavers for general purpose languages. Nev...
114
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Dominance constraints are widely used in computational linguistics as a language for talking and reasoning about trees. In this paper, we extend dominance constraints by ...
169
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...