940 search results - page 139 / 188 » Local rely-guarantee reasoning |
102
click to vote
SIGGRAPH
2010
ACM
15 years 4 months ago
2010
ACM
Geodesic curves in surfaces are not only minimizers of distance, but they are also the curves of zero geodesic (sideways) curvature. It turns out that this property makes patterns...
103
click to vote
IWSAS
2001
Springer
15 years 4 months ago
2001
Springer
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
123
click to vote
SSDBM
2000
IEEE
15 years 4 months ago
2000
IEEE
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
{ This paper presents a new approach to local instruction scheduling based on integer programming that produces optimal instruction schedules in a reasonable time, even for very la...
101
click to vote
SC
2000
ACM
15 years 4 months ago
2000
ACM
This paper investigates the performance implications of data placement in OpenMP programs running on modern ccNUMA multiprocessors. Data locality and minimization of the rate of r...