Search
Search Results
-
Asynchronous privacy-preserving iterative computation on peer-to-peer networks
Privacy preserving algorithms allow several participants to compute a global function collaboratively without revealing local information to each...
-
DSOL: a declarative approach to self-adaptive service orchestrations
Service oriented computing (SOC) has brought a simplification in the way distributed applications can be built. Mainstream approaches, however,...
-
The Complexity of Processing Hierarchical Specifications
Hierarchical object descriptions consisting of a set of module descriptions are considered, where each module is either a primitive module or has a... -
The advantages of Fortran 90
Fortran 77 is the most widely used language for scientific programming. Its long-awaited revision is now called Fortran 90. It was finalized (down to...
-
Credible execution of bounded-time parallel systems with delayed diagnosis
This paper presents a forward recovery method for the fault-tolerant execution of parallel software systems on multicomputers such that faults are...
-
Nonsymmetric Lanczos and finding orthogonal polynomials associated with indefinite weights
The nonsymmetric Lanczos algorithm reduces a general matrix to tridiagonal by generating two sequences of vectors which satisfy a mutual...