1150 search results - page 95 / 230 » Advanced MPI Programming |
IFIP
1993
Springer
15 years 2 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
116
click to vote
IPCO
2008
14 years 11 months ago
2008
Recent advances on the understanding of valid inequalities from the infinite group relaxation has opened the possibility of finding a computationally effective extension to GMI cu...
DAGSTUHL
2001
14 years 11 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
ETS
2002
IEEE
14 years 9 months ago
2002
IEEE
Many business schools are re-examining management education, and many view advanced information technology as an enabler of innovative and effective learning. How best to approach...
APLAS
2000
ACM
15 years 2 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...