Sciweavers

1680 search results - page 126 / 336
» Automated Model Selection for Simulation
Sort
View
ISQED
2007
IEEE
151views Hardware» more  ISQED 2007»
14 years 2 months ago
Wavelet-Based Passivity Preserving Model Order Reduction for Wideband Interconnect Characterization
Model order reduction plays a key role in determining VLSI system performance and the optimization of interconnects. In this paper, we develop an accurate and provably passive met...
Mehboob Alam, Arthur Nieuwoudt, Yehia Massoud
STTT
2002
69views more  STTT 2002»
13 years 7 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
WSC
1997
13 years 9 months ago
AutoSched Tutorial
The AutoSchedTM finite capacity planning and scheduling tool helps you increase throughput, reduce in-process inventory, and increase equipment and personnel utilization. AutoSche...
Bill Lindler
AINA
2009
IEEE
14 years 2 months ago
Modeling Web Request and Session Level Arrivals
This paper is focused on modeling Web request and session level arrival processes. We propose a statistically rigorous approach which includes testing for non-stationarity and Gau...
Xuan Wang, Katerina Goseva-Popstojanova
ECSQARU
2005
Springer
14 years 1 months ago
Multiple Semi-revision in Possibilistic Logic
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
Guilin Qi, Weiru Liu, David A. Bell