Sciweavers

991 search results - page 120 / 199
» Linear Segmentation and Segment Significance
Sort
View
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 4 months ago
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
ICMCS
2006
IEEE
162views Multimedia» more  ICMCS 2006»
15 years 4 months ago
Musical Signal Type Discrimination based on Large Open Feature Sets
Automatic discrimination of musical signal types as speech, singing, music, genres or drumbeats within audio streams is of great importance e.g. for radio broadcast stream segment...
Björn Schuller, Frank Wallhoff, Dejan Arsic, ...
DATE
2010
IEEE
145views Hardware» more  DATE 2010»
15 years 2 months ago
Energy-efficient real-time task scheduling with temperature-dependent leakage
Abstract--Leakage power consumption contributes significantly to the overall power dissipation for systems that are manufactured in advanced deep sub-micron technology. Different f...
Chuan-Yue Yang, Jian-Jia Chen, Lothar Thiele, Tei-...
INFOCOM
1999
IEEE
15 years 2 months ago
Periodic Broadcasting with VBR-Encoded Video
We consider designing near video on demand (VoD) systems that minimize start-up latency while maintaining high image quality. Recently several research teams have developed period...
Despina Saparilla, Keith W. Ross, Martin Reisslein
CODES
2004
IEEE
15 years 1 months ago
Dynamic overlay of scratchpad memory for energy minimization
The memory subsystem accounts for a significant portion of the aggregate energy budget of contemporary embedded systems. Moreover, there exists a large potential for optimizing th...
Manish Verma, Lars Wehmeyer, Peter Marwedel