4164 search results - page 323 / 833 » Timing model reduction for hierarchical timing analysis |
208
click to vote
CVPR
2010
IEEE
16 years 11 days ago
2010
IEEE
We present an approach for online learning of discriminative appearance models for robust multi-target tracking in a crowded scene from a single camera. Although much progress has...
170
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
189
click to vote
MSV
2007
15 years 8 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
188
click to vote
SPAA
2006
ACM
16 years 21 days ago
2006
ACM
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
154
click to vote
ACSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...