Sciweavers

1486 search results - page 72 / 298
» A Logically Saturated Extension of
Sort
View
BROADNETS
2006
IEEE
14 years 3 months ago
Graded Channel Reservation with Path Switching in Ultra High Capacity Networks
— We introduce a new algorithmic framework for advanced channel reservation in ultra high speed networks, called Graded Channel Reservation (GCR). GCR allows users to specify min...
Reuven Cohen, Niloofar Fazlollahi, David Starobins...
GLOBECOM
2006
IEEE
14 years 3 months ago
Analysis of IEEE 802.11 DCF with Hidden Terminals
—The mandatory access mode in IEEE 802.11 MAC is Distributed Coordination Function (DCF), which provides both basic access and RTS/CTS(request-to-send/clear-to-send) access. Prev...
Haitao Wu, Fan Zhu, Qian Zhang, Zhisheng Niu
FMCAD
2004
Springer
14 years 26 days ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
Thao Dang, Alexandre Donzé, Oded Maler
ISCAPDCS
2004
13 years 10 months ago
Pushmepullyou: The Reality of Interaction with Shared Objects in Networked Walk-in Displays
This paper investigates the reality of shared manipulation of objects between users in distributed walkin displays and presents solutions to address the effects of constraints of ...
David J. Roberts, Oliver Otto, Robin Wolff
ECRTS
2010
IEEE
13 years 10 months ago
Deadline Assignment and Tardiness Control for Real-Time Data Services
It is challenging to support the timeliness of realtime data service requests in data-intensive real-time applications such as online auction or stock trading, while maintaining t...
Yan Zhou, Kyoung-Don Kang