Sciweavers

350 search results - page 4 / 70
» From control effects to typed continuation passing
Sort
View
PPDP
2010
Springer
13 years 4 months ago
Equational axiomatization of call-by-name delimited control
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...
Yukiyoshi Kameyama, Asami Tanaka
FPGA
2001
ACM
123views FPGA» more  FPGA 2001»
13 years 10 months ago
Mixing buffers and pass transistors in FPGA routing architectures
The routing architecture of an FPGA consists of the length of the wires, the type of switch used to connect wires (buffered, unbuffered, fast or slow) and the topology of the inte...
Mike Sheng, Jonathan Rose
SC
2000
ACM
13 years 10 months ago
Performance of Hybrid Message-Passing and Shared-Memory Parallelism for Discrete Element Modeling
The current trend in HPC hardware is towards clusters of shared-memory (SMP) compute nodes. For applications developers the major question is how best to program these SMP cluster...
D. S. Henty
ENVSOFT
2007
94views more  ENVSOFT 2007»
13 years 6 months ago
Automated estimation and analyses of meteorological drought characteristics from monthly rainfall data
The paper describes a new software package for automated estimation, display and analyses of various drought indices – continuous functions of precipitation that allow quantitat...
V. U. Smakhtin, D. A. Hughes
MASCOTS
2007
13 years 7 months ago
Uncovering the Effect of System Performance on User Behavior from Traces of Parallel Systems
—Intuitively, it seems that understanding how the performance of a system affects its users requires research in psychology and the conducting of live experiments. We demonstrate...
Edi Shmueli, Dror G. Feitelson