319 search results - page 17 / 64 » Improved Model Checking of Hierarchical Systems |
104
click to vote
MOBICOM
2003
ACM
15 years 5 months ago
2003
ACM
Handoff latency results in packet losses and severe End-to-End TCP performance degradation as TCP, perceiving these losses as congestion, causes source throttling or retransmissio...
EMNLP
2010
14 years 9 months ago
2010
Hierarchical phrase-based (HPB) translation provides a powerful mechanism to capture both short and long distance phrase reorderings. However, the phrase reorderings lack of conte...
127
click to vote
HPDC
1998
IEEE
15 years 4 months ago
1998
IEEE
In this paper we present a model for dynamically scheduling HTTP requests across clusters of servers, optimizing the use of client resources as well as the scattered server nodes....
SAFECOMP
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
124
click to vote
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...