19 results on '"Schachte, Peter"'
Search Results
2. Compiling CP subproblems to MDDs and d-DNNFs
3. A complete refinement procedure for regular separability of context-free languages
4. Dauphin: A new statistical signal processing language
5. Information loss in knowledge compilation: A comparison of Boolean envelopes
6. Transformation-Enabled Precondition Inference.
7. A Fresh Look at Zones and Octagons.
8. Precise goal-independent abstract interpretation of constraint logic programs
9. Precise Goal-Independent Abstract Interpretation of Constraint Logic Programs
10. An iterative approach to precondition inference using constrained Horn clauses.
11. Reference Abstract Domains and Applications to String Analysis.
12. Adtpp: lightweight efficient safe polymorphic algebraic data types for C.
13. Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy.
14. Horn clauses as an intermediate representation for program analysis and transformation.
15. Dauphin: A new statistical signal processing language.
16. Failure tabled constraint logic programming by interpolation.
17. Estimating the overlap between dependent computations for automatic parallelization.
18. UN-KLEENE BOOLEAN EQUATION SOLVING.
19. Two classes of Boolean functions for dependency analysis
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.