302 search results - page 40 / 61 » Automatic Verification of Timed Circuits |
114
Voted
EMSOFT
2006
Springer
15 years 4 months 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...
108
Voted
ENTCS
2008
15 years 20 days ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...
118
Voted
ENTCS
2006
15 years 18 days ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
125
Voted
FPL
2006
Springer
15 years 4 months ago
2006
Springer
We present an efficient implementation of a state of the art algorithm PixelMatch for matching all pixels within consecutive video frames. The method is of practical interest for ...
114
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Small, embedded integrated circuits (ICs) such as smart cards are vulnerable to so-called side-channel attacks (SCAs). The attacker can gain information by monitoring the power co...