7167 search results - page 1338 / 1434 » A Technique for Invariant Generation |
ICMI
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we present a presentation training system that observes a presentation rehearsal and provides the speaker with recommendations for improving the delivery of the pres...
ICS
2007
Tsinghua U.
15 years 4 months ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...
ISW
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, we study the performance of timeout-based queue management practices in the context of flood denial-of-service (DoS) attacks on connection-oriented protocols, where...
104
click to vote
JSSPP
2007
Springer
15 years 4 months ago
2007
Springer
Most space-sharing parallel computers presently operated by high-performance computing centers use batch-queuing systems to manage processor allocation. Because these machines are...
LCTRTS
2007
Springer
15 years 4 months ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...