14331 search results - page 168 / 2867 » On the modeling and analysis of obligations |
179
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose a novel approach for activity analysis in multiple synchronized but uncalibrated static camera views. We assume that the topology of camera views is unknown and quite a...
185
click to vote
DAC
2008
ACM
2008
ACM
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
16 years 7 months ago
End-to-end latency of messages is an important design parameter that needs to be within specified bounds for the correct functioning of distributed real-time control systems. In t...
145
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
– Due to reduction in device feature size and supply voltage, the sensitivity of digital systems to transient faults is increasing dramatically. As technology scales further, the...
156
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
154
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents both compact analytical models and fast SPICE based 3-D electro-thermal simulation methodology to characterize thermal effects due to Joule heating in high per...