Sciweavers

1081 search results - page 143 / 217
» CODES: An Integrated Approach to Composable Modeling and Sim...
Sort
View
CAISE
2001
Springer
14 years 1 months ago
Using UML Action Semantics for Executable Modeling and Beyond
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
Gerson Sunyé, François Pennaneac'h, ...
ECRTS
2002
IEEE
14 years 1 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...
IFIP
1994
Springer
14 years 1 months ago
Trends in Environmental Information Processing
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
Franz Josef Radermacher, Wolf-Fritz Riekert, Bernd...
VMV
2003
145views Visualization» more  VMV 2003»
13 years 10 months ago
Interactive Volume Visualization of Complex Flow Semantics
Comprehending results from 3D CFD simulation is a difficult task. In this paper, we present a semantics-based approach to featurebased volume rendering of 3D flow data. We make ...
Helwig Hauser, Matej Mlejnek
CODES
2003
IEEE
14 years 2 months ago
Schedule-aware performance estimation of communication architecture for efficient design space exploration
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
Sungchan Kim, Chaeseok Im, Soonhoi Ha