Sciweavers

436 search results - page 53 / 88
» Temporal Preprocessor: Towards Temporal Applications Develop...
Sort
View
KBSE
2005
IEEE
14 years 2 months ago
Automated test generation for engineering applications
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
Songtao Xia, Ben Di Vito, César Muño...
WS
2004
ACM
14 years 2 months ago
A framework for wireless LAN monitoring and its applications
Many studies on measurement and characterization of wireless LANs (WLANs) have been performed recently. Most of these measurements have been conducted from the wired portion of th...
Jihwang Yeo, Moustafa Youssef, Ashok K. Agrawala
IEEEPACT
2008
IEEE
14 years 3 months ago
Characterizing and modeling the behavior of context switch misses
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
Fang Liu, Fei Guo, Yan Solihin, Seongbeom Kim, Abd...
ICIP
2007
IEEE
14 years 3 months ago
Bit-Depth Scalable Video Coding
Scalable video coding (SVC) is an extension of H.264/AVC, which is currently being developed by the Joint Video Team. SVC supports any combination of temporal, spatial, and SNR sc...
Martin Winken, Detlev Marpe, Heiko Schwarz, Thomas...
ICMCS
2007
IEEE
168views Multimedia» more  ICMCS 2007»
14 years 3 months ago
An Information Theoretic Model of Spatiotemporal Visual Saliency
This paper presents a principled and practical method for the computation of visual saliency of spatiotemporal events in full motion videos. Based on the assumption that uniquenes...
Guoping Qiu, Xiaodong Gu, Zhibo Chen, Quqing Chen,...