Sciweavers

127 search results - page 6 / 26
» A Framework for Partial Data Flow Analysis
Sort
View
FORMATS
2007
Springer
13 years 11 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
ISVC
2010
Springer
13 years 6 months ago
Visual Exploration of Stream Pattern Changes Using a Data-Driven Framework
Abstract. When using visualization techniques to explore data streams, an important task is to convey pattern changes. Challenges include: (1) Most data analysis tasks require user...
Zaixian Xie, Matthew O. Ward, Elke A. Rundensteine...
VEE
2012
ACM
252views Virtualization» more  VEE 2012»
12 years 3 months ago
libdft: practical dynamic data flow tracking for commodity systems
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
Vasileios P. Kemerlis, Georgios Portokalidis, Kang...
CVPR
2008
IEEE
14 years 9 months ago
Image partial blur detection and classification
In this paper, we propose a partially-blurred-image classification and analysis framework for automatically detecting images containing blurred regions and recognizing the blur ty...
Renting Liu, Zhaorong Li, Jiaya Jia
INFOCOM
1997
IEEE
13 years 12 months ago
Performance Analysis of Multicast Flow Control Algorithms over Combined Wired/Wireless Networks
Abstract—A multicast flow control framework for data traffic traversing both a wired and wireless network is proposed. Markov-modulated fluid (MMF) models are used for the rec...
Huayan Amy Wang, Mischa Schwartz