4722 search results - page 825 / 945 » Encoding Program Executions |
123
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
116
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...
150
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
101
click to vote
SAMOS
2005
Springer
15 years 7 months ago
2005
Springer
—We describe the generation of the simulation environment for the Sandbridge Sandblaster multithreaded processor. The processor model is described using the Sandblaster architect...
136
click to vote
SFM
2005
Springer
15 years 7 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...