2944 search results - page 349 / 589 » Improving Bound Propagation |
172
click to vote
ACMSE
2004
ACM
16 years 2 days ago
2004
ACM
Although component-based software development has widespread acceptance in the enterprise business and desktop application domains, developers of distributed, real-time and embedd...
180
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
199
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...
175
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
213
click to vote
IS
2006
15 years 6 months ago
2006
In-network data aggregation has been recently proposed as an effective means to reduce the number of messages exchanged in wireless sensor networks. Nodes of the network form an a...