4880 search results - page 188 / 976 » Manuals as Structured Programs |
126
Voted
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
137
click to vote
ENTCS
2006
15 years 3 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
136
click to vote
PC
2000
15 years 3 months ago
2000
In this paper we present a parallel method for solving two-stage stochastic linear programs with restricted recourse. The mathematical model considered here can be used to represe...
111
click to vote
WCET
2008
15 years 5 months ago
2008
We have developed a new programming paradigm which, for conforming programs, allows the averagecase execution time (ACET) to be obtained automatically by a static analysis. This i...
124
click to vote
ICCAD
2001
IEEE
16 years 18 days ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...