1390 search results - page 14 / 278 » On the Algebraic Structure of Convergence |
PPAM
2007
Springer
15 years 3 months ago
2007
Springer
Dense linear algebra codes are often expressed and coded in terms of BLAS calls. This approach, however, achieves suboptimal performance due to the overheads associated to such cal...
FCT
2003
Springer
15 years 2 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
TCS
2002
14 years 9 months ago
2002
A coalgebraic, equational approach to the speci
JLP
2010
14 years 4 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
ENTCS
2008
14 years 9 months ago
2008
Several different uses of Newton's method in connection with the Fundamental Theorem of Algebra are pointed out. Theoretical subdivision schemes have been combined with the n...