Search Results - Processing (programming language)
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 33
- Software Engineering 29
- Artificial intelligence 20
- Computer programming / software development 18
- Software engineering 14
- Computer networking & communications 11
- Algorithms & data structures 9
- Computer Science 9
- Network hardware 8
- Programming & scripting languages: general 8
- Artificial Intelligence 7
- Education 7
- Expert systems / knowledge-based systems 6
- Machine learning 6
- Mathematics 6
- Natural Language Processing (NLP) 6
- Natural language & machine translation 6
- Natural language processing (Computer science) 6
- Programming Languages 6
- Systems analysis & design 6
- Theory of Computation 6
- Compilers (Computer programs) 5
- Compilers and Interpreters 5
- Computer Science Logic and Foundations of Programming 5
- Computer architecture & logic design 5
- Computer programming 5
- Data processing 5
- Discrete mathematics 5
- Formal Languages and Automata Theory 5
- Humanities 5
-
221
-
222
-
223
-
224
-
225
-
226
-
227
-
228
-
229
-
230
-
231
-
232
-
233
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata
Electronic eBook -
234
-
235
-
236
-
237
-
238
-
239
-
240