Sciweavers

1048 search results - page 140 / 210
» A generalized scheduling approach for dynamic dataflow appli...
Sort
View
INFOCOM
1999
IEEE
15 years 2 months ago
An Effective and Efficient Traffic Smoothing Scheme for Delivery of Online VBR Media Streams
Traffic smoothing for delivery of online VBR media streams is one of the most important problems in designing multimedia systems. Given available client buffer and a window-slidin...
Ray-I Chang, Meng Chang Chen, Jan-Ming Ho, Ming-Ta...
158
Voted
GIS
2005
ACM
15 years 11 months ago
Visualizing the results of interactive queries for geographic data on mobile devices
The capabilities of current mobile computing devices such as PDAs and mobile phones are making it possible to design and develop mobile GIS applications that provide users with ge...
Stefano Burigat, Luca Chittaro
QEST
2010
IEEE
14 years 8 months ago
Fortuna: Model Checking Priced Probabilistic Timed Automata
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
Jasper Berendsen, David N. Jansen, Frits W. Vaandr...
77
Voted
CODES
2003
IEEE
15 years 3 months ago
Accurate estimation of cache-related preemption delay
Multitasked real-time systems often employ caches to boost performance. However the unpredictable dynamic behavior of caches makes schedulability analysis of such systems difficul...
Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudh...
ICSE
2010
IEEE-ACM
15 years 5 days ago
DETERMIN: inferring likely deterministic specifications of multithreaded programs
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
Jacob Burnim, Koushik Sen