2635 search results - page 249 / 527 » Computing multihomogeneous resultants using straight-line pr... |
107
click to vote
ICPP
2005
IEEE
15 years 6 months ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...
145
Voted
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
104
Voted
ICFP
2004
ACM
16 years 17 days ago
2004
ACM
Abadi et al. introduced the dependency core calculus (DCC) as a unifying framework to study many important program analyses such as binding time, information flow, slicing, and fu...
90
Voted
IPCO
2007
15 years 2 months ago
2007
We introduce orbital branching, an effective branching method for integer programs containing a great deal of symmetry. The method is based on computing groups of variables that a...
104
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
During the last decade, software transactional memory (STM) gained wide popularity in many areas of parallel computing. In this paper, we introduce LISP-derived language equipped ...