1642 search results - page 208 / 329 » SPINning Parallel Systems Software |
EDOC
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper depicts the evolution of enterprise architectures to their today often used service-oriented form and presents a state-of-the-art development process for this kind of a...
CASES
2003
ACM
14 years 2 months ago
2003
ACM
—We investigate the problem of memory reuse in order to reduce the memory needed to store an array variable. We develop techniques that can lead to smaller memory requirements in...
CASES
2003
ACM
14 years 2 months ago
2003
ACM
The Single Instruction Multiple Data (SIMD) model for fine-grained parallelism was recently extended to support SIMD operations on disjoint vector elements. In this paper we demon...
CODES
2002
IEEE
14 years 2 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
TREC
1994
13 years 11 months ago
1994
Full-text scanning oers signi cant advantages over other methods of document retrieval but is normally too slow for use on large collections. The Fujitsu AP1000 parallel distribut...