Sciweavers

1291 search results - page 26 / 259

» Arithmetic program paths

20

IFIP
2007
Springer

103views Programming Languages» more IFIP 2007»

Comparison of the Exact and Approximate Algorithms in the Random Shortest Path Problem

14 years 2 months ago

Comparison of the Exact and Approximate Algorithms in the Random Shortest Path Problem

Download ifip2007.agh.edu.pl

Jacek Czekaj, Leslaw Socha

claim paper

Read More »

16

CP
2005
Springer

71views Artificial Intelligence» more CP 2005»

Maintaining Longest Paths in Cyclic Graphs

14 years 1 months ago

Maintaining Longest Paths in Cyclic Graphs

Download www.cs.brown.edu

Irit Katriel, Pascal Van Hentenryck

claim paper

Read More »

19

CP
2003
Springer

86views Artificial Intelligence» more CP 2003»

Maintaining Longest Paths Incrementally

14 years 1 months ago

Maintaining Longest Paths Incrementally

Download www.crt.umontreal.ca

Laurent Michel, Pascal Van Hentenryck

claim paper

Read More »

23

WCET
2008

78views Software Engineering» more WCET 2008»

Computing time as a program variable: a way around infeasible paths

13 years 9 months ago

Computing time as a program variable: a way around infeasible paths

Download www.bound-t.com

Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...

Niklas Holsti

claim paper

Read More »

30

SIAMJO
2002

159views more SIAMJO 2002»

Locating the Least 2-Norm Solution of Linear Programs via a Path-Following Method

13 years 8 months ago

Locating the Least 2-Norm Solution of Linear Programs via a Path-Following Method

Download web.mat.bham.ac.uk

A linear program has a unique least 2-norm solution provided that the linear program has a solution. To locate this solution, most of the existing methods were devised to solve cer...

Yun-Bin Zhao, Duan Li

claim paper

Read More »

« Prev « First page 26 / 259 Last » Next »