Sciweavers

245 search results - page 3 / 49
» Code Generation for Streaming: An Access Execute Mechanism
Sort
View
71
Voted
SRDS
1997
IEEE
15 years 1 months ago
Fault Detection Using Hints from the Socket Layer
This paper describes a fault detection mechanism that uses the error codes returned by the stream sockets to locate process failures. Since these errors are generated automaticall...
Nuno Neves, W. Kent Fuchs
EMSOFT
2007
Springer
15 years 4 months ago
WCET estimation for executables in the presence of data caches
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
Rathijit Sen, Y. N. Srikant
CN
2007
94views more  CN 2007»
14 years 10 months ago
Modeling and generating realistic streaming media server workloads
Currently, Internet hosting centers and content distribution networks leverage statistical multiplexing to meet the performance requirements of a number of competing hosted networ...
Wenting Tang, Yun Fu, Ludmila Cherkasova, Amin Vah...
95
Voted
APLAS
2003
ACM
15 years 1 months ago
Executing Verified Compiler Specification
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
Koji Okuma, Yasuhiko Minamide
82
Voted
SC
2000
ACM
15 years 1 months ago
Hardware Prediction for Data Coherency of Scientific Codes on DSM
This paper proposes a hardware mechanism for reducing coherency overhead occurring in scientific computations within DSM systems. A first phase aims at detecting, in the address s...
Jean-Thomas Acquaviva, William Jalby