Sciweavers

756 search results - page 89 / 152
» Model Order Reduction for Nonlinear IC Models
Sort
View
ICCAD
2003
IEEE
141views Hardware» more  ICCAD 2003»
15 years 11 months ago
Passive Synthesis of Compact Frequency-Dependent Interconnect Models via Quadrature Spectral Rules
In this paper, we present a reduced order inodeling methodology, based on the utilization of optimal non-uniform grids generated by Gaussian spectral rules, for the direct passive...
Traianos Yioultsis, Anne Woo, Andreas C. Cangellar...
127
Voted
CCGRID
2008
IEEE
15 years 9 months ago
Adaptive Hybrid Model for Long Term Load Prediction in Computational Grid
Long term load prediction can assist task scheduling and load balancing greatly in distributed environment such as computational grid. Due to the dynamic property of grid environm...
Yulai Yuan, Yongwei Wu, Guangwen Yang, Weimin Zhen...
147
Voted
KBSE
2000
IEEE
15 years 7 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
122
Voted
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 2 months ago
Mathematical Foundations for a Compositional Distributional Model of Meaning
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
133
Voted
QEST
2007
IEEE
15 years 9 months ago
A Petri Net Model for Evaluating Packet Buffering Strategies in a Network Processor
Previous studies have shown that buffering packets in DRAM is a performance bottleneck. In order to understand the impediments in accessing the DRAM, we developed a detailed Petri...
Girish B. C., R. Govindarajan