Sciweavers

306 search results - page 51 / 62
» Do you Queue
Sort
View
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
14 years 1 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
QOFIS
2001
Springer
14 years 1 months ago
Approaches to Support Differentiated Quality of Web Service
The exponential rise in the number of Web users has inspired the creation of a diversity of Web applications. Hence, Web Quality of Service (QoS) is an increasingly critical issue ...
Sook-Hyun Ryu, Jae-Young Kim, James Won-Ki Hong
HPCA
2000
IEEE
14 years 1 months ago
Improving the Throughput of Synchronization by Insertion of Delays
Efficiency of synchronization mechanisms can limit the parallel performance of many shared-memory applications. In addition, the ever increasing performance gap between processor...
Ravi Rajwar, Alain Kägi, James R. Goodman
ICNP
1999
IEEE
14 years 29 days ago
ERUF: Early Regulation of Unresponsive Best-Effort Traffic
In this paper, we propose router mechanisms to regulate unresponsive best-effort traffic. By unresponsive traffic we mean flows that do not reduce their sending rate in response t...
Anand Rangarajan, Anurag Acharya
IDMS
1999
Springer
106views Multimedia» more  IDMS 1999»
14 years 29 days ago
A Video Compression Algorithm for ATM Networks with ABR Service, Using Visual Criteria
: The design of adaptive video compression algorithms to support multimedia applications that can adapt to changing network conditions is currently being the subject of intense stu...
Santiago Felici, Jorge Martinez