Autor Lahiri, Shuvendu K.
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / Lahiri, Shuvendu K. ; Wang, Chao
Título : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVII, 669 p. 616 ilustraciones, 117 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53288-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Ciencias de la Computación Ingeniería Informática Red de computadoras Inteligencia artificial Ordenadores Teoría de la Computación Ingeniería Informática y Redes Redes de comunicación informática Hardware de la computadora Índice Dewey: 005.1 Programación (Computadoras) Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ángeles, CA, EE. UU., en julio de 2020.* Los 43 artículos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artículos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas híbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y síntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 669 p. 616 ilustraciones, 117 ilustraciones en color.
ISBN : 978-3-030-53288-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Ciencias de la Computación Ingeniería Informática Red de computadoras Inteligencia artificial Ordenadores Teoría de la Computación Ingeniería Informática y Redes Redes de comunicación informática Hardware de la computadora Índice Dewey: 005.1 Programación (Computadoras) Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ángeles, CA, EE. UU., en julio de 2020.* Los 43 artículos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artículos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas híbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y síntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: AI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 683 p. 719 ilustraciones, 94 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53291-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Ciencias de la Computación Inteligencia artificial Ingeniería Informática Red de computadoras Ordenadores Teoría de la Computación Ingeniería Informática y Redes Hardware de la computadora Índice Dewey: 005.1 Programación (Computadoras) Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ángeles, CA, EE. UU., en julio de 2020.* Los 43 artículos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artículos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas híbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y síntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVIII, 683 p. 719 ilustraciones, 94 ilustraciones en color.
ISBN : 978-3-030-53291-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Ciencias de la Computación Inteligencia artificial Ingeniería Informática Red de computadoras Ordenadores Teoría de la Computación Ingeniería Informática y Redes Hardware de la computadora Índice Dewey: 005.1 Programación (Computadoras) Resumen: El conjunto de dos volúmenes de acceso abierto LNCS 12224 y 12225 constituye las actas arbitradas de la 32.ª Conferencia Internacional sobre Verificación Asistida por Computadora, CAV 2020, celebrada en Los Ángeles, CA, EE. UU., en julio de 2020.* Los 43 artículos completos presentados junto con 18 Se revisaron cuidadosamente y se seleccionaron documentos sobre herramientas y 4 estudios de casos entre 240 presentaciones. Los artículos se organizaron en las siguientes secciones temáticas: Parte I: Verificación de la IA; blockchain y seguridad; simultaneidad; procedimientos de decisión y verificación de hardware; y sistemas híbridos y dinámicos. Parte II: verificación de modelos; verificación de software; sistemas estocásticos; y síntesis. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Model Checking -- Software Verification -- Stochastic Systems -- Synthesis. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings Tipo de documento: documento electrónico Autores: Lahiri, Shuvendu K., ; Wang, Chao, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 560 p. 133 ilustraciones ISBN/ISSN/DL: 978-3-030-01090-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software Compiladores (programas informáticos) Protección de datos Simulación por ordenador Ciencias de la Computación Teoría de las máquinas Compiladores e intérpretes Seguridad de datos e información Modelado por computadora Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 16.º Simposio Internacional sobre Tecnología Automatizada para la Verificación y el Análisis, ATVA 2018, celebrado en Los Ángeles, CA, EE. UU. en octubre de 2018. Los 27 artículos completos presentados junto con 5 artículos breves y 3 charlas invitadas fueron cuidadosamente revisado y seleccionado entre 82 presentaciones. El simposio está dedicado a la promoción de la investigación sobre aspectos teóricos y prácticos del análisis, verificación y síntesis automatizados proporcionando un foro para la interacción entre las comunidades de investigación y la industria regional e internacional en este campo. Nota de contenido: Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings [documento electrónico] / Lahiri, Shuvendu K., ; Wang, Chao, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 560 p. 133 ilustraciones.
ISBN : 978-3-030-01090-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería de software Compiladores (programas informáticos) Protección de datos Simulación por ordenador Ciencias de la Computación Teoría de las máquinas Compiladores e intérpretes Seguridad de datos e información Modelado por computadora Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas del 16.º Simposio Internacional sobre Tecnología Automatizada para la Verificación y el Análisis, ATVA 2018, celebrado en Los Ángeles, CA, EE. UU. en octubre de 2018. Los 27 artículos completos presentados junto con 5 artículos breves y 3 charlas invitadas fueron cuidadosamente revisado y seleccionado entre 82 presentaciones. El simposio está dedicado a la promoción de la investigación sobre aspectos teóricos y prácticos del análisis, verificación y síntesis automatizados proporcionando un foro para la interacción entre las comunidades de investigación y la industria regional e internacional en este campo. Nota de contenido: Formal Methods -- Verification -- Program Synthesis -- Model Checking -- Theorem Proving -- Software Verification -- SAT Solver -- SMT Solver -- Automation Logic. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
