Sciweavers

1915 search results - page 81 / 383
» A language for functional interpretation of model based simu...
Sort
View
SIES
2010
IEEE
13 years 7 months ago
Verification of a CAN bus model in SystemC with functional coverage
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
Christoph Kuznik, Gilles B. Defo, Wolfgang Mü...
FLAIRS
2008
13 years 11 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
DAC
1998
ACM
14 years 10 months ago
Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
Farzan Fallah, Srinivas Devadas, Kurt Keutzer
EOR
2006
104views more  EOR 2006»
13 years 9 months ago
Link function selection in stochastic multicriteria decision making models
A stochastic formulation of the Analytic Hierarchy Process (AHP) using an approach based on Bayesian categorical data models has been developed. However, in categorical data model...
Eugene D. Hahn
HICSS
2002
IEEE
119views Biometrics» more  HICSS 2002»
14 years 2 months ago
An Inverse-Quantile Function Approach for Modeling Electricity Price
We propose a class of alternative stochastic volatility models for electricity prices using the quantile function modeling approach. Specifically, we fit marginal distributions ...
Shi-Jie Deng, Wenjiang Jiang