Sciweavers

2266 search results - page 105 / 454
» Generalizing parametric timing analysis
Sort
View
ASSETS
2004
ACM
15 years 9 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 9 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 8 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 7 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 3 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