Sciweavers

2266 search results - page 105 / 454
» Generalizing parametric timing analysis
Sort
View
ASSETS
2004
ACM
15 years 11 months ago
Accessibility of Internet websites through time
Using Internet Archive’s Wayback Machine, a random sample of websites from 1997-2002 were retrospectively analyzed for effects that technology has on accessibility for persons w...
Stephanie Hackett, Bambang Parmanto, Xiaoming Zeng
IPSN
2003
Springer
15 years 11 months ago
Mobicast: Just-in-Time Multicast for Sensor Networks under Spatiotemporal Constraints
This paper is concerned with coordinated delivery of messages in sensor networks. The notion of multicast is re-examined in light of a new set of requirements that are specific t...
Qingfeng Huang, Chenyang Lu, Gruia-Catalin Roman
ICMCS
2000
IEEE
134views Multimedia» more  ICMCS 2000»
15 years 10 months ago
TBLB Algorithm for Servicing Real-Time Multimedia Traffic Streams
In this paper, we propose to use a simple packet servicing algorithm suitable for servicing bursty real-time multimedia traffic streams in packet-switched networks. These real-tim...
William K. Wong, Victor C. M. Leung
HYBRID
1994
Springer
15 years 10 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
TWC
2008
150views more  TWC 2008»
15 years 6 months ago
Combining Beamforming and Space-Time Coding Using Quantized Feedback
We combine space-time coding and transmit beamforming over multiple-antenna quasi-static fading channels using resolution-constrained channel state information at the transmitter ...
Siavash Ekbatani, Hamid Jafarkhani