115 search results - page 14 / 23 » Observability Analysis of Embedded Software for Coverage-Dir... |
ECSA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We propose a pattern-based software development method comprising analysis (using problem frames) and design (using architectural and design patterns), of which especiall...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Server page technique is commonly used for implementing web application user interfaces. Server pages can represent many similar web pages in a generic form. Yet our previous stud...
FASE
2004
Springer
15 years 1 months ago
2004
Springer
We present a formal operational semantics for Stateflow, the graphical Statecharts-like language of the Matlab/Simulink tool suite that is widely used in model-based development of...
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
RTAS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper investigates how dynamic branch prediction in a microprocessor affects the predictability of execution time for software running on that processor. By means of experim...