Sciweavers

523 search results - page 67 / 105
» Embedded Software Development with Projectional Language Wor...
Sort
View
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
15 years 8 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
LCTRTS
2009
Springer
15 years 8 months ago
Addressing the challenges of DBT for the ARM architecture
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
Ryan W. Moore, José Baiocchi, Bruce R. Chil...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 6 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
CHI
1998
ACM
15 years 6 months ago
Patterns of Change in Design Metaphor: A Case Study
Although design metaphors play an important role in many software projects, their influence on system functionality, project methodology and the interactions among members of the ...
William A. Stubblefield
CASES
2005
ACM
15 years 3 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe