Sciweavers

7075 search results - page 386 / 1415
» Models and heterogeneous reasoning
Sort
View
FDL
2007
IEEE
16 years 1 months ago
Mapping Actor-Oriented Models to TLM Architectures
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
Jens Gladigau, Christian Haubelt, Bernhard Niemann...
ICMT
2009
Springer
15 years 11 months ago
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations
Model transformations are an essential part of Model Driven Engineering and are in many ways similar to traditional software artifacts. Therefore it is necessary to define and eva...
Marcel F. van Amstel, Christian F. J. Lange, Mark ...
ECIR
2008
Springer
15 years 8 months ago
Enhancing Relevance Models with Adaptive Passage Retrieval
Passage retrieval and pseudo relevance feedback/query expansion have been reported as two effective means for improving document retrieval in literature. Relevance models, while im...
Xiaoyan Li, Zhigang Zhu
174
Voted
QUESTA
1998
93views more  QUESTA 1998»
15 years 6 months ago
An approximation method for complete solutions of Markov-modulated fluid models
This paper presents an approximation method for numerically solving general Markov modulated fluid models which are widely used in modelling communications and computer systems. ...
David D. McDonald, Kun Qian
CODES
2010
IEEE
15 years 4 months ago
Exploring models of computation with ptolemy II
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
Christopher X. Brooks, Edward A. Lee, Stavros Trip...