518 search results - page 21 / 104 » Accelerated Data-Flow Analysis |
112
click to vote
SIMVIS
2008
14 years 11 months ago
2008
In our work we examine a high-dimensional, massive flow data set around an airfoil using a topology-based vortex analysis. The 3D time-dependent flow depends on two additional par...
ICCAD
1992
IEEE
15 years 2 months ago
1992
IEEE
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
QUESTA
2006
14 years 9 months ago
2006
We compare the performance of three usual allocations (max-min fairness, proportional fairness and balanced fairness) in a communication network whose resources are shared by a ra...
JSS
2002
14 years 9 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
STACS
2007
Springer
15 years 4 months ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...