3911 search results - page 50 / 783 » Using Operational Architecture to Model Embedded Software |
129
click to vote
ENTCS
2008
15 years 2 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
123
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
133
Voted
IEEEPACT
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...
FPL
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
131
Voted
ICPP
2002
IEEE
15 years 7 months ago
2002
IEEE
A software cache implements instruction and data caching entirely in software. Dynamic binary rewriting offers a means to specialize the software cache miss checks at cache miss t...