Sciweavers

2302 search results - page 336 / 461
» Testing as Abstraction
Sort
View
PACT
2001
Springer
15 years 11 months ago
Fusion of Concurrent Invocations of Exclusive Methods
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa
PCM
2001
Springer
107views Multimedia» more  PCM 2001»
15 years 11 months ago
Analysis of Environmental Sounds as Indexical Signs in Film
Abstract. In this paper, we investigate the problem of classifying a subset of environmental sounds in movie audio tracks that indicate specific indexical semiotic use. These envi...
Simon Moncrieff, Chitra Dorai, Svetha Venkatesh
HPCA
2000
IEEE
15 years 11 months ago
Coherence Communication Prediction in Shared-Memory Multiprocessors
Abstract—Sharing patterns in shared-memory multiprocessors are the key to performance: uniprocessor latencytolerating techniques such as out-of-order execution and non-blocking c...
Stefanos Kaxiras, Cliff Young
INFOCOM
2000
IEEE
15 years 11 months ago
Receiver Based Management of Low Bandwidth Access Links
Abstract—In this paper, we describe a receiver based congestion control policy that leverages TCP flow control mechanisms to prioritize mixed traffic loads across access links....
Neil T. Spring, Maureen Chesire, Mark Berryman, Vi...
LCN
2000
IEEE
15 years 11 months ago
Performance Measurements and Analysis of TCP Flows in a Differentiated Services WAN
Abstract—This paper presents results from performance measurements carried out in a Differentiated Services WAN connecting three major cities in Southern Finland. The target of t...
Jarmo Harju, Yevgeni Koucheryavy, Juha Laine, Samp...