75 search results - page 3 / 15 » Dimensions of variability in embedded operating systems |
DAC
1995
ACM
13 years 11 months ago
1995
ACM
Abstract A central problem in embedded system co-synthesis is the generation of software for lowlevel I O. Scheduling still remains a manual task because existing coarse-grained re...
CSREAESA
2006
13 years 9 months ago
2006
The performance of software executed on a microprocessor is adversely affected by the basic fetchexecute cycle. A further performance penalty results from the load-execute-store p...
LCTRTS
1999
Springer
13 years 12 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...