scientific article; zbMATH DE number 5954655
zbMATH Open1255.68009MaRDI QIDQ3172801FDOQ3172801
Authors: Peter Lammich 
Publication date: 6 October 2011
Title of this publication is not available (Why is that?)
Recommendations
- 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
model checkingNP-completeparallel programsacqusition structuresdynamic pushdown networks with monitorslock-sensitive analysis
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cited In (11)
- Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
- Compositional Bitvector Analysis for Concurrent Programs with Nested Locks
- Verifying Parallel Programs with Dynamic Communication Structures
- Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
- Predicate detection for parallel computations with locking constraints
- Title not available (Why is that?)
- CARET analysis of multithreaded programs
- Iterable forward reachability analysis of monitor-DPNs
- Computer Aided Verification
- Reasoning about threads with bounded lock chains
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)
