Search Sciweavers | Sciweavers

507 search results - page 18 / 102

» Counterexample-Guided Abstraction Refinement

click to vote

DATE
2004
IEEE

147views Hardware» more DATE 2004»

Formal Refinement and Model Checking of an Echo Cancellation Unit

14 years 2 months ago

Download www.immos-projekt.de

This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...

Alexander Krupp, Wolfgang Müller 0003, Ian Ol...

claim paper

Read More »

click to vote

SIBGRAPI
2000
IEEE

113views Computer Graphics» more SIBGRAPI 2000»

Semi-Regular 4-8 Refinement and Box Spline Surfaces

14 years 2 months ago

Download www.visgraf.impa.br

Abstract. In this paper we introduce a new mesh refinement method for subdivision surfaces. It generates a semiregular 4-direction hierarchical structure from control meshes repres...

Luiz Velho

claim paper

Read More »

click to vote

CDC
2010
IEEE

97views Control Systems» more CDC 2010»

Synthesis using approximately bisimilar abstractions: time-optimal control problems

13 years 6 months ago

Download www-ljk.imag.fr

s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...

Antoine Girard

claim paper

Read More »

click to vote

IANDC
2008

114views more IANDC 2008»

Generalizing the Paige-Tarjan algorithm by abstract interpretation

13 years 11 months ago

Download www.math.unipd.it

act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

click to vote

MP
2008

61views more MP 2008»

How good are interior point methods? Klee-Minty cubes tighten iteration-complexity bounds

13 years 11 months ago