17582 search results - page 3391 / 3517 » From Distributed Sequential Computing to Distributed Paralle... |
137
Voted
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
112
click to vote
HUC
2009
Springer
15 years 7 months ago
2009
Springer
A key prerequisite for residential energy conservation is knowing when and where energy is being spent. Unfortunately, the current generation of energy reporting devices only prov...
111
Voted
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
Abstract: Lazy computation is not new in model-based diagnosis of active systems (and of discreteevent systems in general). Up to a decade ago, diagnosis methods for discrete-event...
105
Voted
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
The planning of additional featuresand releases is a major concem for commercialsoftware companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and...
129
Voted
COMPGEOM
2010
ACM
15 years 6 months ago
2010
ACM
We give a provably correct algorithm to reconstruct a kdimensional manifold embedded in d-dimensional Euclidean space. Input to our algorithm is a point sample coming from an unkn...