Sciweavers

CGO
2011
IEEE
12 years 11 months ago
Practical memory checking with Dr. Memory
—Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs to identify and fix due to t...
Derek Bruening, Qin Zhao
CCE
2011
12 years 11 months ago
Separation of butanol from acetone-butanol-ethanol fermentation by a hybrid extraction-distillation process
The alternative fuel butanol can be produced via acetone-butanol-ethanol (ABE) fermentation from renewable resources, i.e. biomass. Expensive feedstocks and the high costs for the...
Korbinian Kraemer, Andreas Harwardt, Rob Bronneber...
CCE
2011
12 years 11 months ago
Time representations and mathematical models for process scheduling problems
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
Sylvain Mouret, Ignacio E. Grossmann, Pierre Pesti...
CACM
2011
113views more  CACM 2011»
12 years 11 months ago
The case for RAMCloud
Disk-oriented approaches to online storage are becoming increasingly problematic: they do not scale gracefully to meet the needs of large-scale Web applications, and improvements ...
John K. Ousterhout, Parag Agrawal, David Erickson,...
CACM
2011
95views more  CACM 2011»
12 years 11 months ago
FAWN: a fast array of wimpy nodes
David G. Andersen, Jason Franklin, Michael Kaminsk...
CACM
2011
134views more  CACM 2011»
12 years 11 months ago
Brain-computer interfaces for communication and control
For many years people have speculated that electroencephalographic activity or other electrophysiological measures of brain function might provide a new non-muscular channel for s...
Dennis J. McFarland, Jonathan R. Wolpaw
CACM
2011
97views more  CACM 2011»
12 years 11 months ago
Computational complexity and information asymmetry in financial products
Sanjeev Arora, Boaz Barak, Markus Brunnermeier, Ro...
C3S2E
2011
ACM
12 years 11 months ago
A parallel LLL algorithm
The LLL algorithm is a well-known and widely used lattice basis reduction algorithm. In many applications, its speed is critical. Parallel computing can improve speed. However, th...
Yixian Luo, Sanzheng Qiao