Search Sciweavers | Sciweavers

6960 search results - page 173 / 1392

» Continuity Analysis of Programs

click to vote

IEICET
2008

47views more IEICET 2008»

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

15 years 3 months ago

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

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

claim paper

Read More »

Voted

CORR
2006
Springer

116views Education» more CORR 2006»

Analysis of Equality Relationships for Imperative Programs

15 years 3 months ago

Download www.iis.nsk.su

P. Emelyanov

claim paper

Read More »

105

Voted

CORR
2006
Springer

57views Education» more CORR 2006»

Program Spectra Analysis in Embedded Software: A Case Study

15 years 3 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 3 months ago

Download zfh.uni-duisburg-essen.de

Carsten Köllmann, Michael Goedicke

claim paper

Read More »

120

Voted

CORR
2007
Springer

117views Education» more CORR 2007»

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers