Search Sciweavers | Sciweavers

4725 search results - page 98 / 945

» Dependence-Based Program Analysis

113

click to vote

ENDM
2010

81views more ENDM 2010»

Mixed Integer NonLinear Programs featuring "On/Off" constraints: convex analysis and applications

15 years 4 months ago

Download integer.tepper.cmu.edu

We call "on/off" constraint an algebraic constraint that is activated if and only if

Hassan Hijazi, Pierre Bonami, Gérard Cornu&...

claim paper

Read More »

click to vote

IEICET
2008

47views more IEICET 2008»

Sensitivity Analysis and Optimization Algorithm -- Based on Nonlinear Programming --

15 years 4 months ago

Download nlab.ee.tokushima-u.ac.jp

Masayoshi Oda, Yoshihiro Yamagami, Junji Kawata, Y...

claim paper

Read More »

click to vote

CORR
2006
Springer

116views Education» more CORR 2006»

Analysis of Equality Relationships for Imperative Programs

15 years 4 months ago

Download www.iis.nsk.su

P. Emelyanov

claim paper

Read More »

117

click to vote

CORR
2006
Springer

57views Education» more CORR 2006»

Program Spectra Analysis in Embedded Software: A Case Study

15 years 4 months ago

Download www.esi.nl

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund

claim paper

Read More »

click to vote

ECEASST
2006

62views more ECEASST 2006»

Automation of Java Code Analysis for Programming Exercises

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers