scientific article; zbMATH DE number 5954655
acqusition structuresdynamic pushdown networks with monitorslock-sensitive analysismodel checkingNP-completeparallel programs
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
- scientific article; zbMATH DE number 7682282
- scientific article; zbMATH DE number 1538033
- Constraint-based inter-procedural analysis of parallel programs
- Precise interprocedural dependence analysis of parallel programs
- scientific article; zbMATH DE number 4020458
- Synchronization debugging of hybrid parallel programs
- Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
- Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs
- CARET analysis of multithreaded programs
- Reasoning about threads with bounded lock chains
- Predicate detection for parallel computations with locking constraints
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
- Verifying Parallel Programs with Dynamic Communication Structures
- Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
- Iterable forward reachability analysis of monitor-DPNs
- Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
- Computer Aided Verification
- scientific article; zbMATH DE number 7682282 (Why is no real title available?)
- Model-checking parametric lock-sharing systems against regular constraints
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172801)
