Sciweavers

475 search results - page 12 / 95
» Delft-Java Dynamic Translation
Sort
View
DAC
2011
ACM
13 years 11 months ago
Plugging versus logging: a new approach to write buffer management for solid-state disks
Using device write buffers is a promising technique to improve the write performance of solid-state disks. The write buffer not only reduces the write traffic to the flash but als...
Li-Pin Chang, You-Chiuan Su
CAV
2010
Springer
207views Hardware» more  CAV 2010»
15 years 3 months ago
Petruchio: From Dynamic Networks to Nets
We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, t...
Roland Meyer, Tim Strazny
75
Voted
ICFP
2001
ACM
15 years 11 months ago
Down with Emacs Lisp: Dynamic Scope Analysis
It is possible to translate code written in Emacs Lisp or another Lisp dialect which uses dynamic scoping to a more modern programming language with lexical scoping while largely ...
Matthias Neubauer, Michael Sperber
107
Voted
SAC
2006
ACM
15 years 5 months ago
Implementing an embedded GPU language by combining translation and generation
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
Calle Lejdfors, Lennart Ohlsson
NAACL
2010
14 years 9 months ago
Inducing Synchronous Grammars with Slice Sampling
This paper describes an efficient sampler for synchronous grammar induction under a nonparametric Bayesian prior. Inspired by ideas from slice sampling, our sampler is able to dra...
Phil Blunsom, Trevor Cohn