6274 search results - page 231 / 1255 » Proofs, Programs, Processes |
209
click to vote
PICS
1998
15 years 7 months ago
1998
In the fine art field, the high-resolution inkjet printers made by IRIS Graphics, Inc. have for more than 7 years remained the preferred direct digital output device for printing ...
129
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...
161
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
The paper presents an overview of the role of concepts in program comprehension. It discusses concept location, in which the implementation of a specific concept is located in the...
142
click to vote
IIE
2006
15 years 6 months ago
2006
Abstract. For many programming tasks we would be glad to have some kind of automatic evaluation process. As an example, most of the programming contests use an automatic evaluation...
177
click to vote
MPC
1989
Springer
15 years 10 months ago
1989
Springer
A scheme is presented which transforms systolic programs with a two-dimensionalstructure to one dimension. The elementary steps of the transformation are justified by theorems in ...