8828 search results - page 1170 / 1766 » Formal methods in practice |
165
click to vote
WADS
2001
Springer
15 years 12 months ago
2001
Springer
In this paper, we consider the problem of finding a mixed upward planarization of a mixed graph, i.e., a graph with directed and undirected edges. The problem is a generalization...
291
Voted
DSN
2000
IEEE
15 years 12 months ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...
162
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
It is well known that editing techniques can be applied to (large) sets of prototypes in order to bring the error rate of the Nearest Neighbour classifier close to the optimal Ba...
203
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A Robotic System is being developed to automate the crucible packing process in the CZ semiconductor wafer production. It requires the delicate manipulation and packing of highly ...
199
click to vote
ISSRE
2000
IEEE
15 years 11 months ago
2000
IEEE
There is a general agreement among software engineering practitioners that software inspections are an important technique to achieve high software quality at a reasonable cost. H...