4722 search results - page 480 / 945 » Representation-independent program analysis |
161
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
178
click to vote
IJHPCA
2002
15 years 6 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
208
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
223
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
202
click to vote
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...