154 search results - page 7 / 31 » Abstract Interpretation with Applications to Timing Validati... |
EMSOFT
2006
Springer
14 years 7 days ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
DATE
1999
IEEE
14 years 27 days ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
HASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
AWCC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper proposes an approach to dynamically reconfiguring service-oriented applications from a business perspective: CAFISEadapt, which defines both business-level and...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
NAND Flash Memories require Garbage Collection (GC) and Wear Leveling (WL) operations to be carried out by Flash Translation Layers (FTLs) that oversee flash management. Owing to ...