6045 search results - page 254 / 1209 » Computable Linearizations of Well-partial-orderings |
173
click to vote
CIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to app...
208
click to vote
ICCTA
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper deals with a new distance measure for genes using their microarray expressions. The distance measure is called, "Maxrange distance", where an experiment speci...
220
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
Jylab is a portable and flexible scientific computing system favoring extensibility. It provides a user with a scripting language and a core set of libraries implementing numerica...
205
click to vote
PARA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...
203
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...