688 search results - page 103 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
VISUALIZATION
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a hybrid particle and texture based approach for the visualization of time-dependent vector fields. The underlying spacetime framework builds a dense vector field rep...
CPE
1994
Springer
13 years 11 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
ISSS
2002
IEEE
14 years 19 days ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
SIGMETRICS
2009
ACM
14 years 2 months ago
2009
ACM
Understanding the channel popularity or content popularity is an important step in the workload characterization for modern information distribution systems (e.g., World Wide Web,...