Sciweavers

1713 search results - page 3 / 343
» Analysis of Procedure Splitability
Sort
View
IGPL
2000
152views more  IGPL 2000»
13 years 7 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
ISLPED
1997
ACM
106views Hardware» more  ISLPED 1997»
13 years 11 months ago
A sequential procedure for average power analysis of sequential circuits
A new statistical technique for average power estimation in sequential circuits is presented. Due to the feedback mechanism, conventional statistical procedures cannot be applied ...
Li-Pen Yuan, Sung-Mo Kang
WSC
2007
13 years 10 months ago
SBatch: a spaced batch means procedure for simulation analysis
We discuss SBatch, a simplified procedure for steady-state simulation analysis that is based on spaced batch means, incorporating many advantages of its predecessorsASAP3 and WAS...
Emily K. Lada, James R. Wilson
EOR
2006
104views more  EOR 2006»
13 years 8 months ago
A wavelet-based spectral procedure for steady-state simulation analysis
We develop WASSP, a wavelet-based spectral method for steady-state simulation analysis. First WASSP determines a batch size and a warm-up period beyond which the computed batch me...
Emily K. Lada, James R. Wilson
CGA
2005
13 years 7 months ago
Hardware-Assisted Feature Analysis and Visualization of Procedurally Encoded Multifield Volumetric Data
Procedural encoding of scattered and unstructured scalar datasets using Radial Basis Functions (RBF) is an active area of research with great potential for compactly representing ...
Manfred Weiler, Ralf P. Botchen, Simon Stegmaier, ...