5015 search results - page 306 / 1003 » Model Checking a Path |
189
click to vote
TITS
2008
15 years 6 months ago
2008
This paper presents two different types of visual activity analysis modules based on vehicle tracking. The highway monitoring module accurately classifies vehicles into eight diffe...
187
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract—With delays due to the physical interconnect dominating the overall logic path delays, circuit-level delay optimization must take interconnect effects into account. Inst...
180
click to vote
AAAI
2004
15 years 8 months ago
2004
A binary constraint network is tree convex if we can construct a tree for the domain of the variables so that for any constraint, no matter what value one variable takes, all the ...
174
click to vote
MICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
To exploit increased instruction-level parallelism available in modern processors, we describe the formation and optimization of tracenets, an integrated approach to reducing the ...
153
click to vote
DAM
1998
15 years 6 months ago
1998
Motivated by wavelength division multiplexing in all-optical networks, we consider the problem of finding a set of paths from a fixed source to a multiset of destinations, which c...