11374 search results - page 2164 / 2275 » A System Demonstration of ST-TCP |
196
click to vote
LCPC
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
161
click to vote
LCTRTS
2004
Springer
16 years 7 days ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
209
click to vote
MIDDLEWARE
2004
Springer
16 years 7 days ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
194
click to vote
VMCAI
2004
Springer
16 years 7 days ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
190
click to vote
CCGRID
2003
IEEE
16 years 5 days ago
2003
IEEE
— Since the advent of distributed computer systems an active field of research has been the investigation of scheduling strategies for parallel applications. The common approach...