Sciweavers

5864 search results - page 1031 / 1173
» Can We Work around Numerical Methods
Sort
View
187
Voted
DAC
2009
ACM
16 years 8 months ago
A direct integral-equation solver of linear complexity for large-scale 3D capacitance and impedance extraction
State-of-the-art integral-equation-based solvers rely on techniques that can perform a matrix-vector multiplication in O(N) complexity. In this work, a fast inverse of linear comp...
Wenwen Chai, Dan Jiao, Cheng-Kok Koh
209
Voted
MICCAI
2004
Springer
16 years 8 months ago
Enhancing Fourier Volume Rendering Using Contour Extraction
Fourier Volume Rendering (FVR) has received considerable attention in volume visualization during the last decade due its O(N2 logN) rendering time complexity, where O(N3 ) is the ...
Zoltán Nagy, Marcin Novotni, Reinhard Klein
SIGSOFT
2001
ACM
16 years 8 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
WWW
2001
ACM
16 years 8 months ago
N for the price of 1: bundling web objects for more efficient content delivery
: Persistent connections address inefficiencies associated with multiple concurrent connections. They can improve response time when successfully used with pipelining to retrieve a...
Craig E. Wills, Mikhail Mikhailov, Hao Shang
209
Voted
CAV
2009
Springer
184views Hardware» more  CAV 2009»
16 years 8 months ago
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
Vineet Kahlon, Chao Wang, Aarti Gupta
« Prev « First page 1031 / 1173 Last » Next »