Catálogo de publicaciones - actas de congreso

Compartir en
redes sociales

Proceedings of the 45th annual Design Automation Conference

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-60558-115-6

Editor responsable

Association for Computing Machinery (ACM)

País de edición

Estados Unidos

Fecha de publicación

Cobertura temática

computacion

Ciencias de la computación e información

Tabla de contenidos

doi: 10.1145/1391469.1391641

Tera-scale computing and interconnect challenges

Jerry Bautista

Pp. No disponible

doi: 10.1145/1391469.1391716

Power gating scheduling for power/ground noise reduction

Hailin Jiang; Malgorzata Marek-Sadowska

Pp. No disponible

doi: 10.1145/1391469.1391648

Accurate and analytical statistical spatial correlation modeling for VLSI DFM applications

Jui-Hsiang Liu; Ming-Feng Tsai; Lumdo Chen; Charlie Chung-Ping Chen

Pp. No disponible

doi: 10.1145/1391469.1391635

Signature based Boolean matching in the presence of don't cares

Afshin Abdollahi

Pp. No disponible

doi: 10.1145/1391469.1391690

IntellBatt

Suman K. Mandal; Praveen S. Bhojwani; Saraju P. Mohanty; Rabi N. Mahapatra

Pp. No disponible

doi: 10.1145/1391469.1391706

Partial order reduction for scalable testing of systemC TLM designs

Sudipta Kundu; Malay Ganai; Rajesh Gupta

Pp. No disponible

doi: 10.1145/1391469.1391523

Automated design of self-adjusting pipelines

Jieyi Long; Seda Ogrenci Memik

Pp. No disponible

doi: 10.1145/1391469.1391707

Construction of concrete verification models from C++

Malay Haldar; Gagandeep Singh; Saurabh Prabhakar; Basant Dwivedi; Antara Ghosh

Pp. No disponible

doi: 10.1145/1391469.1391634

Bi-decomposing large Boolean functions via interpolation and satisfiability solving

Ruei-Rung Lee; Jie-Hong R. Jiang; Wei-Lun Hung

Pp. No disponible

doi: 10.1145/1391469.1391611

Automatic package and board decoupling capacitor placement using genetic algorithms and M-FDM

Krishna Bharath; Ege Engin; Madhavan Swaminathan

Pp. No disponible