590 search results - page 53 / 118 » Debugging Program Loops Using Approximate Modeling |
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
CIMCA
2006
IEEE
15 years 4 months ago
2006
IEEE
: In the adaptive fuzzy control field for affine nonlinear systems, there are two basic configurations: direct and indirect. It is well known that the direct configuration needs mo...
SMA
2005
ACM
15 years 3 months ago
2005
ACM
Given a planar set S of arbitrary topology and a radius r, we show how to construct an r-tightening of S, which is a set whose boundary has a radius of curvature everywhere greate...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Programmers and users of compute intensive scientific applications often do not want to (or even cannot) code load balancing and fault tolerance into their programs. The PBEAM syst...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...