Sciweavers

475 search results - page 12 / 95
» Delft-Java Dynamic Translation
Sort
View
DAC
2011
ACM
12 years 7 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»
13 years 11 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
ICFP
2001
ACM
14 years 7 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
SAC
2006
ACM
14 years 1 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
13 years 5 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