Sciweavers

2853 search results - page 35 / 571
» On Coherence in Computer Algebra
Sort
View
HPDC
2003
IEEE
14 years 2 months ago
Adaptive Polling of Grid Resource Monitors Using a Slacker Coherence Model
As Data and Computational Grids grow in size and complexity, the crucial task of identifying, monitoring and utilizing available resources in an efficient manner is becoming incr...
Radhakrishnan Sundaresan, Mario Lauria, Tahsin M. ...
ISSAC
2007
Springer
83views Mathematics» more  ISSAC 2007»
14 years 3 months ago
Parallel computation of the rank of large sparse matrices from algebraic K-theory
This paper deals with the computation of the rank and some integer Smith forms of a series of sparse matrices arising in algebraic K-theory. The number of non zero entries in the ...
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pasc...
CALCO
2009
Springer
159views Mathematics» more  CALCO 2009»
14 years 3 months ago
Complete Iterativity for Algebras with Effects
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
Stefan Milius, Thorsten Palm, Daniel Schwencke
CORR
2004
Springer
166views Education» more  CORR 2004»
13 years 8 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand
PPSC
1997
13 years 10 months ago
ScaLAPACK: A Linear Algebra Library for Message-Passing Computers
This article outlines the content and performance of some of the ScaLAPACK software. ScaLAPACK is a collection of mathematical software for linear algebra computations on distribu...
L. Susan Blackford, Jaeyoung Choi, Andrew J. Clear...