4348 search results - page 30 / 870 » Using UML for Modeling Complex Real-Time Systems |
121
Voted
IEEECIT
2010
IEEE
15 years 10 days ago
2010
IEEE
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...
130
Voted
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
116
Voted
PAAMS
2010
Springer
15 years 8 days ago
2010
Springer
The huge number of cores existing in current Graphics Processor Units (GPUs) provides these devices with computing capabilities that can be exploited by distributed applications. I...
123
Voted
RTSS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
151
click to vote
ATC
2008
Springer
15 years 3 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...