13271 search results - page 403 / 2655 » Computers, Programming, and People |
164
click to vote
ACSD
2009
IEEE
16 years 1 months ago
2009
IEEE
The synchronous programming paradigm simplifies the specification and verification of reactive systems. However, synchronous programs must be often implemented on architectures...
169
click to vote
COCOA
2007
Springer
16 years 29 days ago
2007
Springer
We define a fundamental domain for a linear programming relaxation of a combinatorial integer program which is symmetric under a group action. We then describe a straightforward w...
170
click to vote
LOPSTR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
196
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
169
click to vote
DAGSTUHL
1996
15 years 8 months ago
1996
We revisit the main techniques of program transformation which are used in partial evaluation, mixed computation, supercompilation, generalized partial computation, rule-based prog...