Sciweavers

859 search results - page 31 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
CADE
2007
Springer
16 years 1 days ago
Predictive Labeling with Dependency Pairs Using SAT
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
Adam Koprowski, Aart Middeldorp
NA
2006
75views more  NA 2006»
14 years 11 months ago
Least-squares spectral collocation with the overlapping Schwarz method for the incompressible Navier-Stokes equations
A least-squares spectral collocation scheme is combined with the overlapping Schwarz method. The methods are succesfully applied to the incompressible Navier-Stokes equations. The...
Wilhelm Heinrichs
ICCV
2003
IEEE
16 years 1 months ago
Tracking Objects Using Density Matching and Shape Priors
We present a novel method for tracking objects by combining density matching with shape priors. Density matching is a tracking method which operates by maximizing the Bhattacharyy...
Tao Zhang, Daniel Freedman
ACSD
2010
IEEE
239views Hardware» more  ACSD 2010»
14 years 9 months ago
A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths
Self-timed circuits present an attractive solution to the problem of process variation. However, implementing selftimed combinational logic can be complex and expensive. This pape...
W. B. Toms, David A. Edwards
UML
2001
Springer
15 years 4 months ago
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
Richard F. Paige, Jonathan S. Ostroff