402 search results - page 39 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
TROB
2002
13 years 8 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
CADE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
SIAMSC
2008
13 years 8 months ago
2008
Abstract. The sequential regularization method is a reformulation of the unsteady Navier-Stokes equations from the view point of constrained dynamical systems or approximate Helmho...
FAC
2010
13 years 6 months ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
BILDMED
2008
13 years 10 months ago
2008
Abstract. We present an image analysis approach as part of a highthroughput microscopy screening system based on cell arrays for the identification of genes involved in Hepatitis C...