Sciweavers

2419 search results - page 210 / 484
» A Simple DOCSIS Simulator
Sort
View
RTCSA
2003
IEEE
15 years 5 months ago
Scheduling Jobs with Multiple Feasible Intervals
This paper addresses the problem of scheduling real-time jobs that have multiple feasible intervals. The problem is NP-hard. We present an optimal branch-and-bound algorithm. When...
Chi-Sheng Shih, Jane W.-S. Liu, Infan Kuok Cheong
VR
2003
IEEE
192views Virtual Reality» more  VR 2003»
15 years 5 months ago
Interactive Flowing of Highly Viscous Volumes in Virtual Environments
We present a simple and linear 3D cellular automata approach for animating the behaviors of viscous flow volumes in virtual environments. An accurate modeling of fluid flow usu...
Xiaoming Wei, Wei Li, Arie E. Kaufman
DEBS
2003
ACM
15 years 5 months ago
Peer-to-peer overlay broker networks in an event-based middleware
Overlay broker networks are an important part of an eventbased middleware. In this paper, we investigate the requirements of overlay broker networks and argue that using peer-to-p...
Peter R. Pietzuch, Jean Bacon
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 5 months ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...
CONCUR
2003
Springer
15 years 5 months ago
Full Abstraction for HOPLA
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
Mikkel Nygaard, Glynn Winskel