Search Sciweavers | Sciweavers

1892 search results - page 4 / 379

» Warren's Abstract Machine

click to vote

FLOPS
1999
Springer

81views Automated Reasoning» more FLOPS 1999»

The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code

13 years 11 months ago

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

click to vote

ICPP
1995
IEEE

74views Distributed And Parallel Com...» more ICPP 1995»

Hiding Miss Latencies with Multithreading on the Data Diffusion Machine

13 years 11 months ago

Download www.cs.bris.ac.uk

— Large parallel computers require techniques to tolerate the potentially large latencies of accessing remote data. Multithreadingis onesuch technique. We extend previous studies...

Henk L. Muller, Paul W. A. Stallard, David H. D. W...

claim paper

Read More »

click to vote

FAC
2000

76views more FAC 2000»

Natural Semantics-Directed Generation of Compilers and Abstract Machines

13 years 7 months ago

Download rw4.cs.uni-sb.de

s and Abstract Machines Stephan Diehl Universit

Stephan Diehl

claim paper

Read More »

click to vote

POPL
1990
ACM

177views Programming Languages» more POPL 1990»

The Chemical Abstract Machine

13 years 11 months ago

Download fsl.cs.uiuc.edu

ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217

Gérard Berry, Gérard Boudol

claim paper

Read More »

click to vote

ECML
1998
Springer

85views Machine Learning» more ECML 1998»

Theoretical Results on Reinforcement Learning with Temporally Abstract Options

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers