2019 search results - page 326 / 404 » Programming with Shared Data Abstractions |
ISSRE
2000
IEEE
14 years 2 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
EUROPAR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. A parallel Lattice Boltzmann Method (pLBM), which is based on hierarchical spatial decomposition, is designed to perform large-scale flow simulations. The algorithm uses ...
IJIIDS
2010
13 years 4 months ago
2010
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
DAC
1999
ACM
14 years 10 months ago
1999
ACM
Abstract? Fixed-point DSPs are a class of embedded processors with highly irregular architectures. This irregularity makes it difficult to generate high-quality machine code from p...
ERSHOV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...