Sciweavers

2663 search results - page 56 / 533
» How to Choose a Timing Model
Sort
View
ECRTS
2002
IEEE
15 years 4 months ago
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
Raimund Kirner, Roland Lang, Gerald Freiberger, Pe...
JELIA
1994
Springer
15 years 3 months ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur
ESWA
2007
96views more  ESWA 2007»
14 years 11 months ago
Forecasting airborne pollen concentration time series with neural and neuro-fuzzy models
Forecasting airborne pollen concentrations is one of the most studied topics in aerobiology, due to its crucial application to allergology. The most used tools for this problem ar...
José Luis Aznarte, José Manuel Benit...
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 4 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
ECBS
2011
IEEE
271views Hardware» more  ECBS 2011»
13 years 11 months ago
MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...
Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokha...