8446 search results - page 1299 / 1690 » A Process Compensation Language |
146
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
159
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
144
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
156
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
145
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...