Sciweavers

390 search results - page 18 / 78
» Extension Language Automation of Embedded System Debugging
Sort
View
PLILP
1994
Springer
13 years 11 months ago
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
John Field, Frank Tip
DATE
2003
IEEE
135views Hardware» more  DATE 2003»
14 years 28 days ago
Estimation of Bus Performance for a Tuplespace in an Embedded Architecture
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
Nicola Drago, Franco Fummi, Marco Monguzzi, Giovan...
ECRTS
2000
IEEE
14 years 1 days 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
DLOG
2007
13 years 10 months ago
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
C. Maria Keet
EMSOFT
2010
Springer
13 years 5 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...