438 search results - page 13 / 88 » Efficient Timing Analysis Algorithms for Timed State Space E... |
152
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we propose a new vector quantization method to create video thumbnail. In particular, we employ video time density function (VTDF) to explore the temporal character...
111
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...
135
click to vote
ENTCS
2008
15 years 3 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
140
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
—Wormhole switching with fixed priority preemption has been proposed as a possible solution for real-time on-chip communication. However, none of current priority assignment pol...
145
click to vote
IROS
2008
IEEE
2008
IEEE
HybridExploration: A distributed approach to terrain exploration using mobile and fixed sensor nodes
15 years 9 months ago
— When an emergency occurs within a building, it may be initially safer to send autonomous mobile nodes, instead of human responders, to explore the area and identify hazards and...