556 search results - page 11 / 112 » Checking Interval Properties of Computations |
137
Voted
SP
2002
IEEE
15 years 1 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
115
click to vote
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
Existing autocalibration techniques use numerical optimization algorithms that are prone to the problem of local minima. To address this problem, we have developed a method where ...
136
Voted
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
Although an optimistic approach has been shown to be better than locking protocols for real-time database systems (RTDBS), it has the problems of unnecessary restarts and heavy re...
123
click to vote
ICCI
1993
15 years 6 months ago
1993
The notion of interval sets is introduced as a new kind of sets, represented by a pair of sets, namely, the lower and upper bounds. The interval-set algebra may be regarded as a c...
94
Voted
JUCS
2006
15 years 1 months ago
2006
This paper presents a parameterized schema for interval constraint branching that (with suitable instantiations of the parameters) can solve interval constraint satisfaction probl...