518 search results - page 21 / 104 » Accelerated Data-Flow Analysis |
231
click to vote
SIMVIS
2008
15 years 7 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...
132
click to vote
ICCAD
1992
IEEE
15 years 10 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...
175
click to vote
QUESTA
2006
15 years 5 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...
141
click to vote
JSS
2002
15 years 5 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...
198
click to vote
STACS
2007
Springer
16 years 15 hour 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...