Výsledky vyhľadávania - "Specifying and Verifying and Reasoning about Programs General Terms Algorithms"

A separation logic for refining concurrent objects

Autori: Aaron Turon Mitchell Wand The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Aaron Turon Mitchell Wand The Pennsylvania State University CiteSeerX Archives

Zdroj: http://flint.cs.yale.edu/cs428/doc/refine-cobj.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Verification

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.5696

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.5696
http://flint.cs.yale.edu/cs428/doc/refine-cobj.pdf

Transactional boosting: A methodology for highly-concurrent transactional objects

Autori: Maurice Herlihy Eric Koskinen The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Maurice Herlihy Eric Koskinen The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.brandeis.edu//~cs220/reads/p207-herlihy.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming – Parallel Programming, D.3.3 [Programming Languages, Language Constructs and Features – Frameworks, Concurrent programming structures, E.1 [Data Structures, Distributed data structures, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Languages, Theory Keywords Transactional Boosting, non-blocking algorithms, abstract locks

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7751

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7751
http://www.cs.brandeis.edu//~cs220/reads/p207-herlihy.pdf

P.: Dynamic Partial-Order Reduction for Model Checking Software

Autori: Cormac Flanagan Patrice Godefroid The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Cormac Flanagan Patrice Godefroid The Pennsylvania State University CiteSeerX Archives

Zdroj: http://users.soe.ucsc.edu/~cormac/papers/popl05-old.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms Algorithms, Verification, Reliability Keywords Partial-order

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.1291

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.1291
http://users.soe.ucsc.edu/~cormac/papers/popl05-old.pdf

Mechanically Verified Proof Obligations for Linearizability.

Autori: Derrick, John Schellhorn, Gerhard Wehrheim, Heike

Zdroj: ACM Transactions on Programming Languages & Systems; Jan2011, Vol. 33 Issue 1, p4:1-4:43, 43p

Predmety: CONCURRENT Smalltalk (Computer program language), LINEAR control systems, COMPUTER simulation, INTEGRAL theorems, FLEXIBLE couplings, COMPUTER programming, SYSTEMS development

Reasoning about Online Algorithms with Weighted Automata.

Autori: Aminof, Benjamini Kupferman, Orna Lampert, Robby

Zdroj: ACM Transactions on Algorithms; 2010, Vol. 6 Issue 2, p28:1-28:36, 36p, 5 Diagrams, 1 Graph

Predmety: ONLINE algorithms, PROBABILISTIC automata, APPROXIMATION theory, COMPUTER input design, ELECTRONIC data processing, OPTIMAL designs (Statistics)