433 search results - page 19 / 87 » Static Information Flow Analysis of Workflow Models |
ICDAR
2005
IEEE
14 years 1 months ago
2005
IEEE
Static handwritten scripts are available only as images on documents and by definition do not contain dynamic information. This study is about extracting dynamic information from...
TACS
1994
Springer
13 years 11 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
CCE
2004
13 years 7 months ago
2004
Design process excellence is considered a major differentiating factor between competing enterprises since it determines the constraints within which plant operation and supply ch...
WOMPAT
2004
Springer
14 years 1 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
DATE
2005
IEEE
14 years 1 months ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...