442 results on '"Dill, David"'
Search Results
2. Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
3. Access and Inequality in US Higher Education: Policy Issues
4. A Personal Reflection on the Key Challenge for Higher Education: Improving the Quality of University Instruction
5. Market Mechanisms, Higher Education
6. The Move Prover
7. The Marabou Framework for Verification and Analysis of Deep Neural Networks
8. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
9. Reflections and Conclusions
10. The CHE University Ranking in Germany
11. Introduction
12. The Contribution of Universities to Innovation: Insights from a Comparative Study of the Leading OECD Nations
13. Public Policy Design and University Reform: Insights into Academic Change
14. Introduction
15. Transparency and Quality in Higher Education Markets
16. Conclusion
17. An Institutional Perspective on Higher Education Policy: The Case of Academic Quality Assurance
18. The Management of Academic Culture Revisited: Integrating Universities in an Entrepreneurial Age
19. A Retrospective on Murϕ
20. Will Market Competition Assure Academic Quality? An Analysis of the UK and US Experience
21. A Decision Procedure for Bit-Vectors and Arrays
22. The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways
23. Multiple Representations of Biological Processes
24. Predictive Reachability Using a Sample-Based Approach
25. A New Reachability Algorithm for Symmetric Multi-processor Architecture
26. An Incremental Heap Canonicalization Algorithm
27. Automatic verification of pipelined microprocessor control
28. A Partitioning Methodology for BDD-Based Verification
29. Using Interface Refinement to Integrate Formal Verification into the Design Cycle
30. Event Correlation: Language and Semantics
31. Strengthening Invariants by Symbolic Consistency Testing
32. Semi-formal Verification of Memory Systems by Symbolic Simulation
33. An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic
34. Evolution as Design Engineer
35. A Generalization of Shostak#x2019;s Method for Combining Decision Procedures
36. Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT
37. CVC: A Cooperating Validity Checker
38. Faster Proof Checking in the Edinburgh Logical Framework
39. Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods
40. Counter-Example Based Predicate Discovery in Predicate Abstraction
41. A Specification Methodology by a Collection of Compact Properties as Applied to the Intel® Itanium™ Processor Bus Protocol
42. A Framework for Cooperating Decision Procedures
43. Symbolic Simulation with Approximate Values
44. Monitor-Based Formal Specification of PCI
45. Experience with Predicate Abstraction
46. Using magnetic disk instead of main memory in the Mur ϕ verifier
47. Formal verification of out-of-order execution using incremental flushing
48. Static analysis to identify invariants in RSML specifications
49. Reducing Manual Abstraction in Formal Verification of Out- of- Order Execution
50. Formally Verifying Data and Control with Weak Reachability Invariants
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.