3820 search results - page 514 / 764 » Bounded Model Debugging |
107
click to vote
APAL
2006
15 years 3 months ago
2006
We present a technique for destroying stationary subsets of P+ using partial square sequences. We combine this method with Gitik's poset for changing the cofinality of a cardi...
CGF
2006
15 years 3 months ago
2006
We propose a sweep-based approach to the freeform deformation of three-dimensional objects. Instead of using a volume enclosing the whole object, we approximate only its deformabl...
132
click to vote
COR
2006
15 years 3 months ago
2006
Arc Routing Problems on mixed graphs have been modelled in the literature either using just one variable per edge or associating to each edge two variables, each one representing ...
124
click to vote
ENTCS
2006
15 years 3 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
147
click to vote
ENTCS
2006
15 years 3 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...