Search Sciweavers | Sciweavers

5210 search results - page 24 / 1042

» Exact geometric computation

click to vote

IFIP
2009
Springer

119views Programming Languages» more IFIP 2009»

A Distributed Exact Solution to Compute Inter-domain Multi-constrained Paths

14 years 4 months ago

Download hal.archives-ouvertes.fr

The fundamental Quality of Service (QoS) routing problem, which consists in determining paths subject to multiple QoS constraints, has been extensively investigated in the intra-do...

Gilles Bertrand, Samer Lahoud, Géraldine Te...

claim paper

Read More »

click to vote

AUTOMATICA
2006

88views more AUTOMATICA 2006»

Exact computation of amplification for a class of nonlinear systems arising from cellular signaling pathways

13 years 10 months ago

Download www.mit.edu

A commonly employed measure of the signal amplification properties of an input/output system is its induced L2 norm, sometimes also known as H gain. In general, however, it is ext...

Eduardo D. Sontag, Madalena Chaves

claim paper

Read More »

click to vote

CAV
2009
Springer

123views Hardware» more CAV 2009»

On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure

14 years 1 months ago

Download www-verimag.imag.fr

We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...

David Monniaux

claim paper

Read More »

click to vote

TPHOL
2009
IEEE

270views Automated Reasoning» more TPHOL 2009»

Formal Verification of Exact Computations Using Newton's Method

14 years 4 months ago