Sciweavers

1342 search results - page 186 / 269
» Effectivity and effective continuity of multifunctions
Sort
View
IWMMDBMS
1996
67views more  IWMMDBMS 1996»
13 years 10 months ago
Reducing Initial Latency in a Multimedia Storage System
A multimedia server delivers presentations (e.g., videos, movies, games), providing high bandwidth and continuous real-time delivery. In this paper we present techniques for reduc...
Edward Y. Chang, Hector Garcia-Molina
IJCAI
1989
13 years 10 months ago
Negotiation and Task Sharing Among Autonomous Agents in Cooperative Domains
Research in Distributed Artificial Intelligence is concerned with how automated agents can be designed to interact effectively. One important capability that could aid inter-agent...
Gilad Zlotkin, Jeffrey S. Rosenschein
SOSP
1989
ACM
13 years 10 months ago
Process Control and Scheduling Issues for Multiprogrammed Shared-Memory Multiprocessors
Shared-memory multiprocessors are frequently used in a timesharing style with multiple parallel applications executing at the same time. In such an environment, where the machine ...
Andrew Tucker, Anoop Gupta
WCE
2007
13 years 10 months ago
LinkGuide: Towards a Better Collection of Hyperlinks in a Website Homepage
—A dramatic and continuous increase in the complexity and size of websites on the Internet makes rather difficult to build such websites with required information to be easily fo...
Ahmad Ammari, Valentina V. Zharkova
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
13 years 10 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...