Sciweavers

780 search results - page 101 / 156
» software 2011
Sort
View
SIAMNUM
2011
161views more  SIAMNUM 2011»
14 years 4 months ago
A Convergent Finite Volume Scheme for Diffusion on Evolving Surfaces
Abstract. A finite volume scheme for transport and diffusion problems on evolving hypersurfaces is discussed. The underlying motion is assumed to be described by a fixed, not ne...
Martin Lenz, Simplice Firmin Nemadjieu, Martin Rum...
103
Voted
EUROSYS
2011
ACM
14 years 1 months ago
Finding complex concurrency bugs in large multi-threaded applications
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...
Pedro Fonseca, Cheng Li, Rodrigo Rodrigues
EUROSYS
2011
ACM
14 years 1 months ago
Striking a new balance between program instrumentation and debugging time
Although they are helpful in many cases, state-of-the-art bug reporting systems may impose excessive overhead on users, leak private information, or provide little help to the dev...
Olivier Crameri, Ricardo Bianchini, Willy Zwaenepo...
ICSE
2011
IEEE-ACM
14 years 1 months ago
Always-available static and dynamic feedback
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
Michael Bayne, Richard Cook, Michael D. Ernst
CACM
2011
134views more  CACM 2011»
14 years 1 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