3706 search results - page 270 / 742 » The Transformational Approach to Program Development |
136
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We introduce two min-max problems: the first problem is to minimize the supremum of finitely many rational functions over a compact basic semi-algebraic set whereas the s...
132
Voted
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
GRM was originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on supercomputers and clusters. In the framework of th...
131
click to vote
ICCS
2001
Springer
15 years 8 months ago
2001
Springer
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...
107
click to vote
LISP
2000
15 years 3 months ago
2000
Most areas of research or work use their own set of words and phrases and gives specific technical meaning to terms that in everyday speech may mean something less specific or some...
131
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
Continuous technology scaling has brought us to a point, where transistors have become extremely susceptible to cosmic radiation strikes, or soft errors. Inside the processor, cac...