2343 search results - page 81 / 469 » Structure and Interpretation of Computer Programs |
145
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
162
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
Recent and future parallel clusters and supercomputers use SMPs and multi-core processors as basic nodes, providing a huge amount of parallel resources. These systems often have h...
146
click to vote
CCE
2004
15 years 4 months ago
2004
Significant advances have been made in the last two decades for the effective solution of mixed integer non-linear programming (MINLP) problems, mainly by exploiting the special s...
134
click to vote
LICS
1989
IEEE
15 years 8 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
144
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...