4725 search results - page 494 / 945 » Dependence-Based Program Analysis |
208
click to vote
ICALP
1992
Springer
15 years 11 months ago
1992
Springer
The "nearest neighbor" relation, or more generally the "k nearest neighbors" relation, defined for a set of points in a metric space, has found many uses in co...
166
click to vote
EDCC
2006
Springer
15 years 10 months ago
2006
Springer
Bad error handling is the cause of many service outages. We address this problem by a novel approach to detect and patch bad error handling automatically. Our approach uses error ...
175
click to vote
APN
2001
Springer
15 years 10 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
155
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
In order to deal efficiently with infinite regular trees (or other pointed graph structures), we give new algorithms to store such structures. The trees are stored in such a way th...
203
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we investigate timed polyhedra, i.e. polyhedra which are finite unions of full dimensional simplices of a special kind. Such polyhedra form the basis of timing analys...