19986 search results - page 3662 / 3998 » On Designing Software Architectures |
159
click to vote
ISSAC
2007
Springer
16 years 26 days ago
2007
Springer
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
195
click to vote
LCPC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. To solve problems that require far more memory than a single machine can supply, data can be swapped to disk in some manner, it can be compressed, and/or the memory of mu...
170
click to vote
LCPC
2007
Springer
16 years 25 days ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
160
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
177
Voted
MTSR
2007
Springer
16 years 25 days ago
2007
Springer
In today's rapidly evolving society, the range and depth of information available to us is quickly growing which affects educational institutions, who find it difficult to kee...