2025 search results - page 183 / 405 » A Reliable Software Architecture for Complex Embedded System... |
174
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
195
click to vote
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
175
click to vote
WCRE
2007
IEEE
16 years 15 days ago
2007
IEEE
The notion of functional or modular dependency is fundamental to understand the architecture and inner workings of any software system. In this paper, we propose to extend that no...
155
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Rapid acceptance of the Web Services architecture promises to make it the most widely supported and popular object-oriented architecture to date. One consequence is that a wave of...
169
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...