UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Finding concurrency-related bugs using random isolation

International journal on software tools for technology transfer, 2011-11, Vol.13 (6), p.495-518

2011

Volltextzugriff (PDF)

Genital Tucking Practices in Transgender and Gender Diverse Patients

Annals of family medicine, 2024-03, Vol.22 (2), p.149-153

2024

Volltextzugriff (PDF)

The Impact of Artificial Intelligence on Internal Medicine Physicians: A Survey of Procedural and Non-procedural Specialties

Curēus (Palo Alto, CA), 2024-09

2024

Volltextzugriff (PDF)

Exploring Vaccine Hesitancy Among Parents in a Rural Pediatric Clinic System: A Statistical Study

Curēus (Palo Alto, CA), 2024-07

2024

Volltextzugriff (PDF)

One Stack to Run Them All: Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling

Model Checking Software, p.245-261

Volltextzugriff (PDF)

Snap: a microkernel approach to host networking

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019, p.399-413

2019

Volltextzugriff (PDF)

A decision procedure for detecting atomicity violations for communicating processes with locks

International journal on software tools for technology transfer, 2011, Vol.13 (1), p.37-60

2011

Volltextzugriff (PDF)

Finding concurrency-related bugs using random isolation: Special Section on VMCAI 2009

International journal on software tools for technology transfer, 2011, Vol.13 (6), p.495-518

2011

Volltextzugriff (PDF)

A decision procedure for detecting atomicity violations for communicating processes with locks: Special Section on SPIN 2009

International journal on software tools for technology transfer, 2011, Vol.13 (1), p.37-60

2011

Volltextzugriff (PDF)

Interprocedural Analysis of Concurrent Programs Under a Context Bound

Tools and Algorithms for the Construction and Analysis of Systems, p.282-298

Volltextzugriff (PDF)

Finding Concurrency-Related Bugs Using Random Isolation

Verification, Model Checking, and Abstract Interpretation, p.198-213

Volltextzugriff (PDF)

Static verification of data-consistency properties

Kidd, Nicholas A

2009

Volltextzugriff (PDF)

Language Strength Reduction

Static Analysis, p.283-298

Volltextzugriff (PDF)

A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks

Model Checking Software, p.125-142

Volltextzugriff (PDF)

Verifying Information Flow Control over Unbounded Processes

FM 2009: Formal Methods, p.773-789

Volltextzugriff (PDF)

String analysis for x86 binaries

Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, 2005, p.88-95

2005

Volltextzugriff (PDF)

String analysis for x86 binaries

Software engineering notes, 2006-01, Vol.31 (1), p.88-95

2006

Volltextzugriff (PDF)

The utility of naming tests in the diagnosis of Alzheimer's disease

Irish journal of psychological medicine, 1999-06, Vol.16 (2), p.43-46

1999

Volltextzugriff (PDF)

An auctioning reputation system based on anomaly

Conference on Computer and Communications Security: Proceedings of the 12th ACM conference on Computer and communications security; 07-11 Nov. 2005, 2005, p.270-279