Sciweavers

669 search results - page 64 / 134
» Development and evaluation of a model of programming errors
Sort
View
IEEEPACT
2007
IEEE
15 years 4 months ago
Fast Track: Supporting Unsafe Optimizations with Software Speculation
The use of multi-core, multi-processor machines is opening new opportunities for software speculation, where program code is speculatively executed to improve performance at the a...
Kirk Kelsey, Chengliang Zhang, Chen Ding
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
15 years 3 months ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
WCE
2007
14 years 11 months ago
Circuit Noise Interference on Sampling Clock and Its Effect on A/D Conversion
—Clock jitter and its effects on signal-to-noise ratio (SNR) were widely investigated in the published literatures. However, most of the issues mainly focused on white-Gaussian-n...
Sun Lei, An Jianping, Wu Yanbo
WSC
2008
15 years 22 hour ago
A simulation model to analyze the impact of hole size on putting in golf
We develop a model of golfer putting skill and combine it with physics-based putt trajectory and holeout models to study the impact of doubling the radius of the hole on the putti...
Matulya Bansal, Mark Broadie
JMLR
2010
135views more  JMLR 2010»
14 years 4 months ago
Structured Prediction Cascades
Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference i...
David Weiss, Benjamin Taskar