Sciweavers

1279 search results - page 164 / 256
» AWESIM: The Integrated Simulation System
Sort
View
CDC
2008
IEEE
126views Control Systems» more  CDC 2008»
15 years 3 months ago
Subspace identification using predictor estimation via Gaussian regression
In this paper we propose a new nonparametric approach to identification of linear time invariant systems using subspace methods. The nonparametric paradigm to prediction of station...
Alessandro Chiuso, Gianluigi Pillonetto, Giuseppe ...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 5 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
SIGMETRICS
2004
ACM
131views Hardware» more  SIGMETRICS 2004»
15 years 7 months ago
Failure recovery for structured P2P networks: protocol design and performance evaluation
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...
Simon S. Lam, Huaiyu Liu
RT
2000
Springer
15 years 5 months ago
Fast Global Illumination Including Specular Effects
Rapidly simulating global illumination, including diffuse and glossy light transport is a very difficult problem. Finite element or radiosity approaches can achieve interactive si...
Xavier Granier, George Drettakis, Bruce Walter
DAC
2002
ACM
16 years 2 months ago
A solenoidal basis method for efficient inductance extraction
The ability to compute the parasitic inductance of the interconnect is critical to the timing verification of modern VLSI circuits. A challenging aspect of inductance extraction i...
Hemant Mahawar, Vivek Sarin, Weiping Shi