Sciweavers

733 search results - page 33 / 147
» Embedded Architecture Description Language
Sort
View
SCAM
2008
IEEE
14 years 5 months ago
Some Assembly Required - Program Analysis of Embedded System Code
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seef...
IWFM
1998
134views Formal Methods» more  IWFM 1998»
14 years 9 days ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
ECRTS
2000
IEEE
14 years 3 months ago
Running-modes of real-time systems: a case-study with mode-automata
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
Florence Maraninchi, Yann Rémond
AOSE
2001
Springer
14 years 3 months ago
Towards an ADL for Designing Agent-Based Systems
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
Marie-Pierre Gervais, Florin Muscutariu
DATE
2004
IEEE
130views Hardware» more  DATE 2004»
14 years 2 months ago
Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...
Pablo Viana, Edna Barros, Sandro Rigo, Rodolfo Aze...