Sciweavers

1889 search results - page 5 / 378
» An Abstract Machine for Oz
Sort
View
FAC
2000
76views more  FAC 2000»
14 years 9 months ago
Natural Semantics-Directed Generation of Compilers and Abstract Machines
s and Abstract Machines Stephan Diehl Universit
Stephan Diehl
89
Voted
POPL
1990
ACM
15 years 1 months ago
The Chemical Abstract Machine
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
Gérard Berry, Gérard Boudol
PDP
2011
IEEE
14 years 1 months ago
Quantifying Thread Vulnerability for Multicore Architectures
Abstract—Continuously reducing transistor sizes and aggressive low power operating modes employed by modern architectures tend to increase transient error rates. Concurrently, mu...
Isil Oz, Haluk Rahmi Topcuoglu, Mahmut T. Kandemir...
69
Voted
ECML
1998
Springer
15 years 1 months ago
Theoretical Results on Reinforcement Learning with Temporally Abstract Options
Doina Precup, Richard S. Sutton, Satinder P. Singh
52
Voted
ENTCS
2006
110views more  ENTCS 2006»
14 years 9 months ago
The Linear Logical Abstract Machine
ar Logical Abstract Machine Eduardo Bonelli 1 LIFIA, Fac. de Inform
Eduardo Bonelli