Catálogo de publicaciones - actas de congreso

Compartir en
redes sociales

Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

No disponibles.

Disponibilidad

Institución detectada	Año de publicación	Navegá	Descargá	Solicitá
No detectada	2008	ACM Digital Library

Información

Tipo de recurso:

actas de congreso

ISBN impreso

978-1-59593-860-2

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

2008

Cobertura temática

Ciencias de la computación e información

Tabla de contenidos

Verificá que desde tu institución tengas acceso para descargar o solicitar el libro completo o alguno de sus capítulos.

doi: 10.1145/1375581.1375625

Fair stateless model checking

Madanlal Musuvathi; Shaz Qadeer

Pp. No disponible

doi: 10.1145/1375581.1375590

Automatic volume management for programmable microfluidics

Ahmed M. Amin; Mithuna Thottethodi; T. N. Vijaykumar; Steven Wereley; Stephen C. Jacobson

Pp. No disponible

doi: 10.1145/1375581.1375626

Model checking transactional memories

Rachid Guerraoui; Thomas A. Henzinger; Barbara Jobstmann; Vasu Singh

Pp. No disponible

doi: 10.1145/1375581.1375614

Explaining failures of program analyses

Daniel von Dincklage; Amer Diwan

Pp. No disponible

doi: 10.1145/1375581.1375603

Certifying low-level programs with hardware interrupts and preemptive threads

Xinyu Feng; Zhong Shao; Yuan Dong; Yu Guo

Pp. No disponible

doi: 10.1145/1375581.1375621

XMem

Michal Wegiel; Chandra Krintz

Pp. No disponible

doi: 10.1145/1375581.1375583

Checking race freedom via linear programming

Tachio Terauchi

Pp. No disponible