Sciweavers

746 search results - page 60 / 150
» The NASA standard for models and simulations
Sort
View
CASE
2011
102views more  CASE 2011»
14 years 28 days ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
JCM
2008
94views more  JCM 2008»
15 years 28 days ago
Cell Site Power Characterization for Multi-rate Wireless CDMA Data Networks Using Lognormal Approximation
An analytical model is developed to solve the power-rate assignment problem for multi-rate CDMA systems and calculate the probability density function (PDF) for the downlink traffi...
Ashraf S. Hasan Mahmoud
DAC
1998
ACM
16 years 1 months ago
A Mixed Nodal-Mesh Formulation for Efficient Extraction and Passive Reduced-Order Modeling of 3D Interconnects
As VLSI circuit speeds have increased, reliable chip and system design can no longer be performed without accurate threedimensional interconnect models. In this paper, we describe...
Nuno Alexandre Marques, Mattan Kamon, Jacob White,...
ICCAD
2007
IEEE
67views Hardware» more  ICCAD 2007»
15 years 10 months ago
Stabilizing schemes for piecewise-linear reduced order models via projection and weighting functions
— In this paper we present several results concerning the stabilization of piecewise-linear reduced order models. We include proofs of internal and external stability for models ...
Bradley N. Bond, Luca Daniel
DAC
2006
ACM
15 years 7 months ago
SystemC transaction level models and RTL verification
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
Stuart Swan