1690 search results - page 83 / 338 » Algorithmic Properties of Millstream Systems |
166
click to vote
NA
2010
15 years 2 months ago
2010
It is well known that it is an ill-posed problem to decide whether a function has a multiple root. Even for a univariate polynomial an arbitrary small perturbation of a polynomial ...
157
click to vote
APSEC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
145
click to vote
ICCV
2003
IEEE
16 years 6 months ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
147
click to vote
SRDS
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
128
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...