1878 search results - page 129 / 376 » The Vienna Abstract Machine |
137
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
106
click to vote
ML
2006
ACM
15 years 9 months ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
106
Voted
CEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract- Seeding the population of an evolutionary algorithm with solutions from previous runs has proved to be useful when learning control strategies for agents operating in a c...
99
Voted
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we partially describe JV2 M, a metaphorical simulation of the Java Virtual Machine where students can learn Java language compilation and reinforce object-oriented pr...
144
Voted
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for deļ¬ning them have not been developed yet. One approach to simplify the deļ...