12333 search results - page 550 / 2467 » System Level Modelling for Hardware Software Systems |
195
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
234
click to vote
CAV
2009
Springer
15 years 11 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
194
click to vote
ICECCS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
195
click to vote
COMPSAC
2002
IEEE
16 years 11 hour ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
166
click to vote
WSC
1997
15 years 8 months ago
1997
This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the sy...