Sciweavers

61 search results - page 1 / 13
» DFM: where's the proof of value
Sort
View
DAC
2006
ACM
13 years 10 months ago
DFM: where's the proof of value?
How can design teams employ new tools and develop response methodologies yet still stay within design budgets? How much effort does it require to be an early adopter and what kind...
Shishpal Rawat, Raul Camposano, A. Kahng, Joseph S...
TEC
2002
103views more  TEC 2002»
13 years 3 months ago
A short convergence proof for a class of ant colony optimization algorithms
In this paper, we prove some convergence properties for a class of ant colony optimization algorithms. In particular, we prove that for any small constant 0 and for a sufficiently ...
Thomas Stützle, Marco Dorigo
CORR
2008
Springer
92views Education» more  CORR 2008»
13 years 3 months ago
Bridge configurations in piezoresistive two-axis accelerometers
In piezoresisitive two-axis accelerometers with two proof masses suspended by cantilever beams, there are generally many ways to configure the Wheatstone bridges. The configuratio...
E. Halvorsen, S. Husa
JSYML
2010
107views more  JSYML 2010»
13 years 2 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
SIROCCO
2010
13 years 5 months ago
Average Long-Lived Memoryless Consensus: The Three-Value Case
Abstract. We study strategies that minimize the instability of a faulttolerant consensus system. More precisely, we find the strategy than minimizes the number of output changes ov...
Ivan Rapaport, Eric Rémila