6740 search results - page 975 / 1348 » Using Classification as a Programming Language |
165
click to vote
CC
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
148
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Multi-objective optimization is concerned with problems involving multiple measures of performance which should be optimized simultaneously. In this paper, we extend AND/OR Branch-...
158
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
170
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We discuss the existence of matrix representations for generalised and minimum participation constraints which are frequently used in database design and conceptual model...
167
click to vote
PDP
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a programming language for parallel computing based on code annotations. It has similar goals and philosophy as OpenMP but it is more tightly coupled to the ob...