Sciweavers

6111 search results - page 246 / 1223
» Time, Hardware, and Uniformity
Sort
View
92
Voted
IJCV
2007
179views more  IJCV 2007»
15 years 21 days ago
A Performance Study on Different Cost Aggregation Approaches Used in Real-Time Stereo Matching
Many vision applications require high-accuracy dense disparity maps in real-time and online. Due to time constraint, most real-time stereo applications rely on local winner-takes-a...
Minglun Gong, Ruigang Yang, Liang Wang 0002, Mingw...
98
Voted
RV
2010
Springer
122views Hardware» more  RV 2010»
14 years 11 months ago
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
Eric Bodden, Patrick Lam, Laurie J. Hendren
113
Voted
WCET
2010
14 years 10 months ago
METAMOC: Modular Execution Time Analysis using Model Checking
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
Andreas E. Dalsgaard, Mads Chr. Olesen, Martin Tof...
140
Voted
ECBS
2011
IEEE
271views Hardware» more  ECBS 2011»
14 years 17 days ago
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...
95
Voted
TVCG
2012
225views Hardware» more  TVCG 2012»
13 years 3 months ago
Evaluating the Role of Time in Investigative Analysis of Document Collections
—Time is a universal and essential aspect of data in any investigative analysis. It helps analysts establish causality, build storylines from evidence, and reject infeasible hypo...
Bum chul Kwon, Waqas Javed, Sohaib Ghani, Niklas E...