2038 search results - page 278 / 408 » Improvements to the Psi-SSA representation |
154
click to vote
SAT
2007
Springer
16 years 17 days 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 ...
169
click to vote
SEMWEB
2007
Springer
16 years 17 days 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...
198
click to vote
TABLEAUX
2007
Springer
16 years 17 days 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...
151
click to vote
IWPC
2006
IEEE
16 years 14 days 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...
170
click to vote
SI3D
2005
ACM
16 years 1 days 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...