16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / Jansen, David N. ; Prabhakar, Pavithra  

Público ISBD Ningún comentario para este registro. Título : 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings Tipo de documento: documento electrónico Autores: Jansen, David N., ; Prabhakar, Pavithra, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 289 p. 59 ilustraciones ISBN/ISSN/DL: 978-3-030-00151-3 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: Algoritmos  Ciencias de la Computación  Teoría de las máquinas  Ingeniería de software  Simulación por ordenador  Inteligencia artificial  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Modelado por computadora Índice Dewey: 518.1 Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Modelado y Análisis Formal de Sistemas Temporizados, FORMATS 2018, celebrada en Beijing, China, en septiembre de 2018. Los 14 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 29 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: artículos invitados, lógica temporal, sistemas cronometrados distribuidos, equivalencias de comportamiento, palabras cronometradas y sistemas dinámicos continuos. El objetivo de FORMATS es promover el estudio de aspectos fundamentales y prácticos de los sistemas temporizados, y reunir a investigadores de diferentes disciplinas que comparten intereses en el modelado y análisis de sistemas temporizados y, como generalización, de sistemas híbridos. Nota de contenido: Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. 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 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings [documento electrónico] / Jansen, David N., ; Prabhakar, Pavithra,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - X, 289 p. 59 ilustraciones. ISBN : 978-3-030-00151-3 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Algoritmos  Ciencias de la Computación  Teoría de las máquinas  Ingeniería de software  Simulación por ordenador  Inteligencia artificial  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Modelado por computadora Índice Dewey: 518.1 Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre Modelado y Análisis Formal de Sistemas Temporizados, FORMATS 2018, celebrada en Beijing, China, en septiembre de 2018. Los 14 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 29 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: artículos invitados, lógica temporal, sistemas cronometrados distribuidos, equivalencias de comportamiento, palabras cronometradas y sistemas dinámicos continuos. El objetivo de FORMATS es promover el estudio de aspectos fundamentales y prácticos de los sistemas temporizados, y reunir a investigadores de diferentes disciplinas que comparten intereses en el modelado y análisis de sistemas temporizados y, como generalización, de sistemas híbridos. Nota de contenido: Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. 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

Numerical Software Verification / Bogomolov, Sergiy ; Martel, Matthieu ; Prabhakar, Pavithra  

Público ISBD Ningún comentario para este registro. Título : Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bogomolov, Sergiy, ; Martel, Matthieu, ; Prabhakar, Pavithra, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VII, 107 p. 21 ilustraciones ISBN/ISSN/DL: 978-3-319-54292-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: Ciencias de la Computación  Ingeniería de software  Red de computadoras  Teoría de las máquinas  Software de la aplicacion  Inteligencia artificial  Lógica informática y fundamentos de la programación  Redes de comunicación informática  Lenguajes formales y teoría de los autómatas  Aplicaciones informáticas y de sistemas de información Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 9º Taller Internacional sobre Verificación de Software Numérico, NSV 2016, celebrado en Toronto, ON, Canadá, en julio de 2011, ubicado junto con CAV 2016, la 28ª Conferencia Internacional sobre Verificación Asistida por Computadora. El taller NSV está dedicado al desarrollo de técnicas lógicas y matemáticas para el razonamiento sobre programabilidad y confiabilidad. Nota de contenido: Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). 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 Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers [documento electrónico] / Bogomolov, Sergiy, ; Martel, Matthieu, ; Prabhakar, Pavithra,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - VII, 107 p. 21 ilustraciones. ISBN : 978-3-319-54292-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ciencias de la Computación  Ingeniería de software  Red de computadoras  Teoría de las máquinas  Software de la aplicacion  Inteligencia artificial  Lógica informática y fundamentos de la programación  Redes de comunicación informática  Lenguajes formales y teoría de los autómatas  Aplicaciones informáticas y de sistemas de información Índice Dewey: 40.151 Resumen: Este libro constituye las actas arbitradas del 9º Taller Internacional sobre Verificación de Software Numérico, NSV 2016, celebrado en Toronto, ON, Canadá, en julio de 2011, ubicado junto con CAV 2016, la 28ª Conferencia Internacional sobre Verificación Asistida por Computadora. El taller NSV está dedicado al desarrollo de técnicas lógicas y matemáticas para el razonamiento sobre programabilidad y confiabilidad. Nota de contenido: Verification and validation of global properties, -- Implementation of numerical techniques on modern hardware -- Development and analysis of cyber-physical systems (CPS). 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

---

1 (1 - 2 / 2) Par page : 25 50 100 200