Sciweavers

1995 search results - page 113 / 399
» The Chemical Abstract Machine
Sort
View
CORR
2010
Springer
95views Education» more  CORR 2010»
13 years 10 months ago
Evaluating Call-By-Need on the Control Stack
Abstract. Ariola and Felleisen's call-by-need -calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substituti...
Stephen Chang, David Van Horn, Matthias Felleisen
AMAST
2004
Springer
14 years 3 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
CC
2004
Springer
134views System Software» more  CC 2004»
14 years 1 months ago
Widening Integer Arithmetic
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
Kevin Redwine, Norman Ramsey
ECML
2006
Springer
14 years 1 months ago
Learning in One-Shot Strategic Form Games
Abstract. We propose a machine learning approach to action prediction in oneshot games. In contrast to the huge literature on learning in games where an agent's model is deduc...
Alon Altman, Avivit Bercovici-Boden, Moshe Tennenh...
VLDB
1987
ACM
93views Database» more  VLDB 1987»
14 years 1 months ago
FAD, a Powerful and Simple Database Language
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
François Bancilhon, Ted Briggs, Setrag Khos...