Sciweavers

6253 search results - page 533 / 1251
» Use Case Modeling Guidelines
Sort
View
RTS
2006
129views more  RTS 2006»
15 years 7 months ago
Modeling out-of-order processors for WCET analysis
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
JCNS
2000
84views more  JCNS 2000»
15 years 6 months ago
Nonlinear Thermodynamic Models of Voltage-Dependent Currents
Hodgkin and Huxley provided the first quantitative description of voltage-dependent currents and adjusted their model to experimental data using empirical functions of voltage. A p...
Alain Destexhe, John R. Huguenard
IEEECIT
2010
IEEE
15 years 5 months ago
Model-Level Debugging of Embedded Real-Time Systems
Abstract—Model-driven development has become the stateof-the-art approach for designing embedded real-time systems. heir high level of abstraction, models are easier to understan...
Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birk...
JMLR
2010
103views more  JMLR 2010»
15 years 1 months ago
Learning Nonlinear Dynamic Models from Non-sequenced Data
Virtually all methods of learning dynamic systems from data start from the same basic assumption: the learning algorithm will be given a sequence of data generated from the dynami...
Tzu-Kuo Huang, Le Song, Jeff Schneider
DLOG
2011
14 years 10 months ago
Concept Model Semantics for DL Preferential Reasoning
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
Arina Britz, Thomas Meyer, Ivan José Varzin...