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...

Ccured : Type-safe retrofitting of legacy software

ACM transactions on programming languages and systems, 2005-05, Vol.27 (3), p.477-526

2005

Volltextzugriff (PDF)

Using Dependent Types to Certify the Safety of Assembly Code

Lecture notes in computer science, 2005, p.155-170

2005

Volltextzugriff (PDF)

Complex Queries in DHT-based Peer-to-Peer Networks

Lecture notes in computer science, 2002, p.242-250

2002

Volltextzugriff (PDF)

Dependent Types for Low-Level Programming

Programming Languages and Systems, p.520-535

Volltextzugriff (PDF)

Analysis of Low-Level Code Using Cooperating Decompilers

Lecture notes in computer science, 2006, p.318-335

2006

Volltextzugriff (PDF)

Dependent types for assembly code safety

Harren, Matthew Thomas

2007

Volltextzugriff (PDF)

Dependent types for assembly code safety

Harren, Matthew Thomas

2007

Volltextzugriff (PDF)

Lightweight Wrappers for Interfacing with Binary Code in CCured

Lecture notes in computer science, 2004, p.209-225

2004

Volltextzugriff (PDF)

SafeDrive: safe and recoverable extensions using language-based techniques

Proceedings of the 7th symposium on Operating systems design and implementation, 2006, p.45-60

2006

Volltextzugriff (PDF)

CCured in the real world

Conference on Programming Language Design and Implementation: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation; 09-11 June 2003, 2003, p.232-244

2003

Volltextzugriff (PDF)