2777 search results - page 89 / 556 » Example centric programming |
DIS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
The paper describes a library supporting effective programming and design of matrix algorithms and programs. The important feature of proposed library is the visual algorithm repr...
ICPPW
2003
IEEE
14 years 3 months ago
2003
IEEE
One approach to distributed parallel programming is to utilize self-migrating threads. Computations can be distributed first, and parallelized second. The first step produces a ...
PPPJ
2003
ACM
14 years 3 months ago
2003
ACM
Java programs that utilize standard extensions with native libraries are problematic since the extensions are platform dependent. We present general methods that make such program...
LPNMR
1997
Springer
14 years 2 months ago
1997
Springer
We present a bottom-up algorithm for the computation of the well-founded model of non-disjunctive logic programs which is based on the set of elementary program transformations stu...