2226 search results - page 177 / 446 » Scalable Trigger Processing |
137
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
The objective of this paper is to present an infrastructure IP (I-IP) designed to characterize yield loss in the process back-end. The I-IP structure is described in using a botto...
177
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
As process technology migrates to deep submicron with feature size less than 100nm, global wire delay is becoming a major hindrance in keeping the latency of intra-chip communicat...
176
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
148
click to vote
PADS
2004
ACM
15 years 12 months ago
2004
ACM
Parallel discrete event simulation techniques have enabled the realization of large-scale models of communication networks containing millions of end hosts and routers. However, t...
145
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Video surveillance systems produce huge amounts of data for storage and display. Long-term human monitoring of the acquired video is impractical and ineffective. Automatic abnorma...