Sciweavers

14360 search results - page 108 / 2872
» Time Modeling in MARTE
Sort
View
LICS
2003
IEEE
14 years 2 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
FDL
2005
IEEE
14 years 2 months ago
A VHDL-AMS based Time-Domain Skin Depth Model
This contribution presents a time-domain model of the skin depth effect in a lossy transmission line. The model was developed and implemented in VHDL-AMS for a twowire edge coupl...
M. Burford, Tom J. Kazmierski
ICML
2010
IEEE
13 years 10 months ago
Dynamical Products of Experts for Modeling Financial Time Series
Predicting the "Value at Risk" of a portfolio of stocks is of great significance in quantitative finance. We introduce a new class models, "dynamical products of ex...
Yutian Chen, Max Welling
CORR
2010
Springer
131views Education» more  CORR 2010»
13 years 6 months ago
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
Manuel Mazzara, Anirban Bhattacharyya
ISCAS
2006
IEEE
86views Hardware» more  ISCAS 2006»
14 years 2 months ago
Fast timing analysis of plane circuits via two-layer CNN-based modeling
Abstract— A fast timing analysis of plane circuits via two-layer CNNbased modeling, which is necessary for the solution of power/signal integrity problems in printed circuit boar...
Yuichi Tanji, Hideki Asai, Masayoshi Oda, Yoshifum...