411 search results - page 25 / 83 » Algebraic Imperative Specifications |
109
click to vote
EUROPAR
2008
Springer
15 years 3 months ago
2008
Springer
We describe a software solution to the problem of automatic parallelization of linear algebra code on multi-processor and multi-core architectures. This solution relies on the defi...
109
click to vote
ER
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. This paper presents techniques for reverse engineering of relational database applications. The target of such an effort is the definition of a fully equipped object-orie...
128
click to vote
TSP
2008
15 years 1 months ago
2008
This paper introduces a general and axiomatic approach to linear signal processing (SP) that we refer to as the algebraic signal processing theory (ASP). Basic to ASP is the linear...
109
click to vote
CP
2000
Springer
15 years 5 months ago
2000
Springer
The ability to reduce either the number of variables or clauses in instances of the Satisfiability problem (SAT) impacts the expected computational effort of solving a given instan...
127
click to vote
JLP
2006
15 years 1 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...