1150 search results - page 124 / 230 » Advanced MPI Programming |
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
LCPC
2001
Springer
15 years 2 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
LICS
1989
IEEE
15 years 1 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...
APVIS
2008
14 years 11 months ago
2008
Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...
ECIS
2001
14 years 11 months ago
2001
This paper presents a new curriculum for the Internet and e-business that has been developed at University of Redlands in Southern California with first offering in 2000. The pape...