433 search results - page 52 / 87 » Static Information Flow Analysis of Workflow Models |
139
click to vote
BROADNETS
2006
IEEE
15 years 6 months ago
2006
IEEE
Efficient routing and wavelength assignment (RWA) in wavelength-routed all-optical networks is critical for achieving high efficiency over the backbone links. Extensive research ha...
129
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
We propose a scalable and efficient parameterized block-based statistical static timing analysis algorithm incorporating both Gaussian and non-Gaussian parameter distributions, ca...
124
click to vote
WSC
1997
15 years 4 months ago
1997
Excellent production design and planning depends on accurate simulation of a high quality layout. A good layout project will always begin with an analysis of the production volume...
150
click to vote
WCET
2010
15 years 26 days ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
135
click to vote
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
Many motion detection and tracking algorithms rely on the process of background subtraction, a technique which detects changes from a model of the background scene. We present a n...