2038 search results - page 278 / 408 » Improvements to the Psi-SSA representation |
91
Voted
SAT
2007
Springer
15 years 7 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
105
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
Clinical Practice Guidelines (CPGs) play an important role in improving the quality of care and patient outcomes. Although several machine-readable representations of practice guid...
128
click to vote
TABLEAUX
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
84
Voted
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
115
Voted
SI3D
2005
ACM
15 years 6 months ago
2005
ACM
The simulation of large crowds of humans is important in many fields of computer graphics, including real-time applications such as games, as they can breathe life into otherwise...