Sciweavers

1472 search results - page 53 / 295
» Designing digital video systems: modeling and scheduling
Sort
View
GLOBECOM
2007
IEEE
15 years 6 months ago
An Analytical Model for a Book-Ahead Bandwidth Scheduler
— Optical networks with book-ahead bandwidth schedulers are being deployed to meet the high-speed and predictable-service networking requirements of applications in the scientiļ¬...
Xiangfei Zhu, Mark E. McGinley, Tao Li, Malathi Ve...
VLSISP
2008
239views more  VLSISP 2008»
14 years 11 months ago
An Embedded Real-Time Surveillance System: Implementation and Evaluation
This paper presents the design of an embedded automated digital video surveillance system with real-time performance. Hardware accelerators for video segmentation, morphological op...
Fredrik Kristensen, Hugo Hedberg, Hongtu Jiang, Pe...
ICDCSW
2009
IEEE
15 years 6 months ago
A Dynamic Battery Model for Co-design in Cyber-Physical Systems
We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model supports a co-design approach for ...
Fumin Zhang, Zhenwu Shi, Wayne Wolf
FMICS
2007
Springer
15 years 6 months ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...
MM
2010
ACM
151views Multimedia» more  MM 2010»
15 years 2 days ago
Enhanced exploration of oral history archives through processed video and synchronized text transcripts
A digital video library of over 900 hours of video and 18000 stories from The HistoryMakers was used by 266 students, faculty, librarians, and life-long learners interacting with ...
Michael G. Christel, Scott M. Stevens, Bryan Maher...