Lazy Preemption to Enable Path-Based Analysis of Interrupt-Driven Code

Συγγραφείς: Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.virginia.edu/~jy8y/publications/le11lazy.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Reliability General Terms Reliability, Algorithms Keywords Lazy preemption, Path-based analysis, Interrupt-driven

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.1276; http://www.cs.virginia.edu/~jy8y/publications/le11lazy.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.1276
http://www.cs.virginia.edu/~jy8y/publications/le11lazy.pdf

Lazy Preemption to Enable Path-Based Analysis of Interrupt-Driven Code

Συγγραφείς: Wei Le, Jing Yang, Mary Lou Soffa, Kamin Whitehouse

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.virginia.edu/~whitehouse/research/pubs/icsews11sesenafull-p015-le.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Reliability General Terms Reliability, Algorithms Keywords Lazy preemption, Path-based analysis, Interrupt-driven

Περιγραφή αρχείου: application/pdf

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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.5389
http://www.cs.virginia.edu/~whitehouse/research/pubs/icsews11sesenafull-p015-le.pdf

Finding synchronization defects in java programs: Extended static analyses and code patterns

Συγγραφείς: Frank Otto, Thomas Moschny

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf.

Θεματικοί όροι: D.1.3 [Programming Techniques, Concurrent Programming—parallel programming, D.2.4 [Software Engineering, Software/Program Verification—reliability General Terms Reliability, verification. Keywords Java, synchronization defects, lockset analysis, anti-pattern detection

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.8481; http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.8481
http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf