4880 search results - page 836 / 976 » Manuals as Structured Programs |
164
click to vote
LCPC
2005
Springer
15 years 12 months ago
2005
Springer
Techniques for global register allocation via graph coloring have been extensively studied and widely implemented in compiler frameworks. This paper examines a particular variant ...
160
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
153
click to vote
ISLPED
2004
ACM
15 years 12 months ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
138
click to vote
SIGCSE
2004
ACM
15 years 12 months ago
2004
ACM
Rarely are the three pillars of academia—research, teaching, and service—addressed together, within one intellectually cohesive context in the graduate curriculum. Such a cont...
152
click to vote
CPAIOR
2004
Springer
15 years 12 months ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...