5055 search results - page 99 / 1011 » Relative Timing |
134
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
261
click to vote
TSMC
2008
15 years 4 months ago
2008
Abstract--We present a real-time incremental approach to motion segmentation operating on sparse feature points. In contrast to previous work, the algorithm allows for a variable n...
124
Voted
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents an efficient modeling scheme and a partitioning heuristic for parallelizing VLSI post-placement timing optimization. Encoding the paths with timing violations...
135
click to vote
ASPDAC
1999
ACM
15 years 9 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
182
click to vote
OTM
2009
Springer
15 years 11 months ago
2009
Springer
Real-time event stream processing (RT-ESP) applications must synchronize continuous data streams despite fluctuations in resource availability. Satisfying these needs of RT-ESP ap...