Información de la indexación
005 Ciencia de los computadores (Programación, programas, datos de computador)Documentos en la biblioteca con la clasificación 005.11 (52)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : A Beginner's Guide to Scala, Object Orientation and Functional Programming Tipo de documento: documento electrónico Autores: Hunt, John, Mención de edición: 2 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIX, 531 p. ISBN/ISSN/DL: 978-3-319-75771-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Programación de computadoras Compiladores (programas informáticos) Técnicas de programación Compiladores e intérpretes Clasificación: 005.11 Resumen: Scala es ahora un lenguaje de programación establecido desarrollado por Martin Oderskey y su equipo en la EPFL. El nombre Scala se deriva de Sca(lable) La(lengua). Scala es un lenguaje multiparadigma que incorpora enfoques orientados a objetos con programación funcional. Aunque se supone cierta familiaridad con los conceptos informáticos estándar (como la idea de compilar un programa y ejecutarlo desde la compilación, etc.) y con conceptos básicos del lenguaje de procedimientos (como variables y asignación de valores a estas variables), los primeros capÃtulos del libro no asuma ninguna familiaridad con la orientación a objetos ni con la programación funcional. Estos capÃtulos también analizan otros conceptos con los que el lector puede no estar familiarizado (como el procesamiento de listas). A partir de estos antecedentes, el libro proporciona una introducción práctica a los enfoques funcionales y de objetos utilizando Scala. Estos conceptos se introducen a través de la experiencia práctica, llevando al lector más allá del nivel de la sintaxis del lenguaje hacia la filosofÃa y la práctica del desarrollo orientado a objetos y la programación funcional. Los estudiantes y aquellos involucrados activamente en la industria del software encontrarán invaluable esta introducción integral a Scala. Nota de contenido: Elements of Object Orientation -- Why Object Orientation? -- Object Orientation Systems -- Functional Programming -- Scala Background -- Little Scala -- Scala Building Blocks -- Scala Classes -- Scala Methods -- Packages and Encapsulation -- Building A Class -- Classes and Inherit -- Objects and Instances -- Value Classes -- Constructs -- Control -- Traits -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions -- Partial Application -- Collections -- List and Map Collections -- Immutable and Mutable Collection Packages -- Type Parameterization -- Further Constructs -- Exception Handling -- Akka Actors -- Further Akka Actors -- Scala and JDBC Database -- Scala Style Database Access -- Slick -- Testing -- Scala Testing -- Play Framework -- Restful Services -- Scalaz -- Scala Swing -- Scala Swing Reactors -- Build Tools -- Java Interop. . Tipo de medio : Computadora Summary : Scala is now an established programming language developed by Martin Oderskey and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating object oriented approaches with functional programming. Although some familiarity with standard computing concepts is assumed (such as the idea of compiling a program and executing this compiled from etc.) and with basic procedural language concepts (such as variables and allocation of values to these variables) the early chapters of the book do not assume any familiarity with object orientation nor with functional programming These chapters also step through other concepts with which the reader may not be familiar (such as list processing). From this background, the book provides a practical introduction to both object and functional approaches using Scala. These concepts are introduced through practical experience taking the reader beyond the level of the language syntax to the philosophy and practice of object oriented development and functional programming. Students and those actively involved in the software industry will find this comprehensive introduction to Scala invaluable. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] A Beginner's Guide to Scala, Object Orientation and Functional Programming [documento electrónico] / Hunt, John, . - 2 ed. . - [s.l.] : Springer, 2018 . - XIX, 531 p.
ISBN : 978-3-319-75771-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Programación de computadoras Compiladores (programas informáticos) Técnicas de programación Compiladores e intérpretes Clasificación: 005.11 Resumen: Scala es ahora un lenguaje de programación establecido desarrollado por Martin Oderskey y su equipo en la EPFL. El nombre Scala se deriva de Sca(lable) La(lengua). Scala es un lenguaje multiparadigma que incorpora enfoques orientados a objetos con programación funcional. Aunque se supone cierta familiaridad con los conceptos informáticos estándar (como la idea de compilar un programa y ejecutarlo desde la compilación, etc.) y con conceptos básicos del lenguaje de procedimientos (como variables y asignación de valores a estas variables), los primeros capÃtulos del libro no asuma ninguna familiaridad con la orientación a objetos ni con la programación funcional. Estos capÃtulos también analizan otros conceptos con los que el lector puede no estar familiarizado (como el procesamiento de listas). A partir de estos antecedentes, el libro proporciona una introducción práctica a los enfoques funcionales y de objetos utilizando Scala. Estos conceptos se introducen a través de la experiencia práctica, llevando al lector más allá del nivel de la sintaxis del lenguaje hacia la filosofÃa y la práctica del desarrollo orientado a objetos y la programación funcional. Los estudiantes y aquellos involucrados activamente en la industria del software encontrarán invaluable esta introducción integral a Scala. Nota de contenido: Elements of Object Orientation -- Why Object Orientation? -- Object Orientation Systems -- Functional Programming -- Scala Background -- Little Scala -- Scala Building Blocks -- Scala Classes -- Scala Methods -- Packages and Encapsulation -- Building A Class -- Classes and Inherit -- Objects and Instances -- Value Classes -- Constructs -- Control -- Traits -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions -- Partial Application -- Collections -- List and Map Collections -- Immutable and Mutable Collection Packages -- Type Parameterization -- Further Constructs -- Exception Handling -- Akka Actors -- Further Akka Actors -- Scala and JDBC Database -- Scala Style Database Access -- Slick -- Testing -- Scala Testing -- Play Framework -- Restful Services -- Scalaz -- Scala Swing -- Scala Swing Reactors -- Build Tools -- Java Interop. . Tipo de medio : Computadora Summary : Scala is now an established programming language developed by Martin Oderskey and his team at the EPFL. The name Scala is derived from Sca(lable) La(nguage). Scala is a multi-paradigm language, incorporating object oriented approaches with functional programming. Although some familiarity with standard computing concepts is assumed (such as the idea of compiling a program and executing this compiled from etc.) and with basic procedural language concepts (such as variables and allocation of values to these variables) the early chapters of the book do not assume any familiarity with object orientation nor with functional programming These chapters also step through other concepts with which the reader may not be familiar (such as list processing). From this background, the book provides a practical introduction to both object and functional approaches using Scala. These concepts are introduced through practical experience taking the reader beyond the level of the language syntax to the philosophy and practice of object oriented development and functional programming. Students and those actively involved in the software industry will find this comprehensive introduction to Scala invaluable. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof Tipo de documento: documento electrónico Autores: Lutsyk, Petro, ; Oberhauser, Jonas, ; Paul, Wolfgang J., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XV, 628 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-030-43243-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Programación de computadoras IngenierÃa Informática Red de computadoras Microprogramación Equipos de entrada y salida de computadora Programación lógica Ciencias de la Computación Técnicas de programación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Entrada/Salida y Comunicaciones de Datos Lógica en IA TeorÃa de la Computación Clasificación: 005.11 Resumen: Este trabajo se basa en los resultados del libro titulado "A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness" de M. Kovalev, SM Müller y WJ Paul, publicado como LNCS 9000 en 2014. Presenta, a nivel de puerta , prueba de construcción y corrección de una máquina multinúcleo con procesadores canalizados y amplio soporte de sistema operativo con las siguientes caracterÃsticas: • Arquitectura de conjunto de instrucciones MIPS (ISA) para aplicaciones y programación de sistemas • sistema de memoria caché coherente • almacenar buffers delante del cachés de datos • interrupciones y excepciones • unidades de administración de memoria (MMU) • procesadores canalizados: el canalismo clásico de cinco etapas se extiende en dos etapas para la traducción de direcciones • controlador de interrupciones local (IC) que admite interrupciones entre procesadores (IPI) • I/ Controlador O-interrupt y un disco. Nota de contenido: Introductory material -- on hierarchical hardware design -- hardware library -- basic processor design -- pipelining -- cache memory systems -- interrupt mechanism -- self modification, instruction buffer and nondeterministic ISA -- memory management units -- store buffers -- multi-core processors -- advanced programmable interrupt controllers (APICs) -- adding a disk -- I/O apic. Tipo de medio : Computadora Summary : This work is building on results from the book named "A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness" by M. Kovalev, S.M. Müller, and W.J. Paul, published as LNCS 9000 in 2014. It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following features: • MIPS instruction set architecture (ISA) for application and for system programming • cache coherent memory system • store buffers in front of the data caches • interrupts and exceptions • memory management units (MMUs) • pipelined processors: the classical five-stage pipeline is extended by two pipeline stages for address translation • local interrupt controller (ICs) supporting inter-processor interrupts (IPIs) • I/O-interrupt controller and a disk . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] A Pipelined Multi-Core Machine with Operating System Support : Hardware Implementation and Correctness Proof [documento electrónico] / Lutsyk, Petro, ; Oberhauser, Jonas, ; Paul, Wolfgang J., . - 1 ed. . - [s.l.] : Springer, 2020 . - XV, 628 p. 1 ilustraciones.
ISBN : 978-3-030-43243-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Programación de computadoras IngenierÃa Informática Red de computadoras Microprogramación Equipos de entrada y salida de computadora Programación lógica Ciencias de la Computación Técnicas de programación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Entrada/Salida y Comunicaciones de Datos Lógica en IA TeorÃa de la Computación Clasificación: 005.11 Resumen: Este trabajo se basa en los resultados del libro titulado "A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness" de M. Kovalev, SM Müller y WJ Paul, publicado como LNCS 9000 en 2014. Presenta, a nivel de puerta , prueba de construcción y corrección de una máquina multinúcleo con procesadores canalizados y amplio soporte de sistema operativo con las siguientes caracterÃsticas: • Arquitectura de conjunto de instrucciones MIPS (ISA) para aplicaciones y programación de sistemas • sistema de memoria caché coherente • almacenar buffers delante del cachés de datos • interrupciones y excepciones • unidades de administración de memoria (MMU) • procesadores canalizados: el canalismo clásico de cinco etapas se extiende en dos etapas para la traducción de direcciones • controlador de interrupciones local (IC) que admite interrupciones entre procesadores (IPI) • I/ Controlador O-interrupt y un disco. Nota de contenido: Introductory material -- on hierarchical hardware design -- hardware library -- basic processor design -- pipelining -- cache memory systems -- interrupt mechanism -- self modification, instruction buffer and nondeterministic ISA -- memory management units -- store buffers -- multi-core processors -- advanced programmable interrupt controllers (APICs) -- adding a disk -- I/O apic. Tipo de medio : Computadora Summary : This work is building on results from the book named "A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness" by M. Kovalev, S.M. Müller, and W.J. Paul, published as LNCS 9000 in 2014. It presents, at the gate level, construction and correctness proof of a multi-core machine with pipelined processors and extensive operating system support with the following features: • MIPS instruction set architecture (ISA) for application and for system programming • cache coherent memory system • store buffers in front of the data caches • interrupts and exceptions • memory management units (MMUs) • pipelined processors: the classical five-stage pipeline is extended by two pipeline stages for address translation • local interrupt controller (ICs) supporting inter-processor interrupts (IPIs) • I/O-interrupt controller and a disk . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Advanced Object-Oriented Programming in R : Statistical Programming for Data Science, Analysis and Finance Tipo de documento: documento electrónico Autores: Mailund, Thomas, Mención de edición: 1 ed. Editorial: Berkeley, CA : Apress Fecha de publicación: 2017 Número de páginas: XV, 110 p. 10 ilustraciones ISBN/ISSN/DL: 978-1-4842-2919-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Programación de computadoras Compiladores (programas informáticos) Informática Estadistica matematica Técnicas de programación Compiladores e intérpretes Probabilidad y EstadÃstica en Informática Clasificación: 005.11 Resumen: Aprenda a escribir programas orientados a objetos en R y a construir clases y jerarquÃas de clases en los tres sistemas orientados a objetos disponibles en R. Este libro ofrece una introducción a la programación orientada a objetos en el lenguaje de programación R y le muestra cómo utilizarlo. y aplicar R de forma orientada a objetos. Luego podrá utilizar este poderoso estilo de programación en sus propios proyectos de programación estadÃstica para escribir software flexible y ampliable. Después de leer Programación avanzada orientada a objetos en R, obtendrá un proyecto práctico que puede reutilizar en sus propios esfuerzos de codificación analÃtica. Luego podrá visualizar sus datos como objetos que tienen estado y luego manipular esos objetos con métodos polimórficos o genéricos. Sus proyectos se beneficiarán del alto grado de flexibilidad que proporciona el polimorfismo, donde la elección del método concreto a ejecutar depende del tipo de datos que se manipulan. Usted podrá: Definir y usar clases y funciones genéricas usando R Trabajar con las jerarquÃas de clases de R Beneficiarse de la reutilización de implementaciones Manejar la sobrecarga de operadores Aplicar las clases S4 y R6. Nota de contenido: 1. Classes and Generic Functions -- 2. Class Hierarchies -- 3. Implementation Reuse -- 4. Statistical Models -- 5. Operator Overloading -- 6. S4 Classes -- 7. R6 Classes -- 8. Conclusions. Tipo de medio : Computadora Summary : Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R. This book gives an introduction to object-oriented programming in the R programming language and shows you how to use and apply R in an object-oriented manner. You will then be able to use this powerful programming style in your own statistical programming projects to write flexible and extendable software. After reading Advanced Object-Oriented Programming in R, you'll come away with a practical project that you can reuse in your own analytics coding endeavors. You'll then be able to visualize your data as objects that have state and then manipulate those objects with polymorphic or generic methods. Your projects will benefit from the high degree of flexibility provided by polymorphism, where the choice of concrete method to execute depends on the type of data being manipulated. You will: Define and use classes and generic functions using R Work with the R class hierarchies Benefit from implementation reuse Handle operator overloading Apply the S4 and R6 classes . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advanced Object-Oriented Programming in R : Statistical Programming for Data Science, Analysis and Finance [documento electrónico] / Mailund, Thomas, . - 1 ed. . - Berkeley, CA : Apress, 2017 . - XV, 110 p. 10 ilustraciones.
ISBN : 978-1-4842-2919-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Programación de computadoras Compiladores (programas informáticos) Informática Estadistica matematica Técnicas de programación Compiladores e intérpretes Probabilidad y EstadÃstica en Informática Clasificación: 005.11 Resumen: Aprenda a escribir programas orientados a objetos en R y a construir clases y jerarquÃas de clases en los tres sistemas orientados a objetos disponibles en R. Este libro ofrece una introducción a la programación orientada a objetos en el lenguaje de programación R y le muestra cómo utilizarlo. y aplicar R de forma orientada a objetos. Luego podrá utilizar este poderoso estilo de programación en sus propios proyectos de programación estadÃstica para escribir software flexible y ampliable. Después de leer Programación avanzada orientada a objetos en R, obtendrá un proyecto práctico que puede reutilizar en sus propios esfuerzos de codificación analÃtica. Luego podrá visualizar sus datos como objetos que tienen estado y luego manipular esos objetos con métodos polimórficos o genéricos. Sus proyectos se beneficiarán del alto grado de flexibilidad que proporciona el polimorfismo, donde la elección del método concreto a ejecutar depende del tipo de datos que se manipulan. Usted podrá: Definir y usar clases y funciones genéricas usando R Trabajar con las jerarquÃas de clases de R Beneficiarse de la reutilización de implementaciones Manejar la sobrecarga de operadores Aplicar las clases S4 y R6. Nota de contenido: 1. Classes and Generic Functions -- 2. Class Hierarchies -- 3. Implementation Reuse -- 4. Statistical Models -- 5. Operator Overloading -- 6. S4 Classes -- 7. R6 Classes -- 8. Conclusions. Tipo de medio : Computadora Summary : Learn how to write object-oriented programs in R and how to construct classes and class hierarchies in the three object-oriented systems available in R. This book gives an introduction to object-oriented programming in the R programming language and shows you how to use and apply R in an object-oriented manner. You will then be able to use this powerful programming style in your own statistical programming projects to write flexible and extendable software. After reading Advanced Object-Oriented Programming in R, you'll come away with a practical project that you can reuse in your own analytics coding endeavors. You'll then be able to visualize your data as objects that have state and then manipulate those objects with polymorphic or generic methods. Your projects will benefit from the high degree of flexibility provided by polymorphism, where the choice of concrete method to execute depends on the type of data being manipulated. You will: Define and use classes and generic functions using R Work with the R class hierarchies Benefit from implementation reuse Handle operator overloading Apply the S4 and R6 classes . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Advanced Software Technologies for Post-Peta Scale Computing : The Japanese Post-Peta CREST Research Project Tipo de documento: documento electrónico Autores: Sato, Mitsuhisa, Mención de edición: 1 ed. Editorial: Singapore [Malasia] : Springer Fecha de publicación: 2019 Número de páginas: VIII, 317 p. 183 ilustraciones, 112 ilustraciones en color. ISBN/ISSN/DL: 978-981-1319242-- Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Programación de computadoras Técnicas de programación Clasificación: 005.11 Resumen: Este libro, que cubre temas de investigación de software de sistemas como lenguajes de programación, compiladores, sistemas de ejecución, sistemas operativos, middleware de comunicación y sistemas de archivos a gran escala, asà como software de soporte al desarrollo de aplicaciones y software de procesamiento de big data, presenta software de vanguardia. tecnologÃas para computación a escala extrema. Los hallazgos presentados aquà proporcionarán a los investigadores de estos campos conocimientos importantes para un mayor desarrollo de las tecnologÃas informáticas a exaescala. Este libro surgió del proyecto de investigación CREST post-peta financiado por la Agencia de Ciencia y TecnologÃa de Japón, cuyo objetivo era establecer tecnologÃas de software para explorar la computación de rendimiento extremo más allá de la computación a petaescala. Los respectivos fueron aportados por 14 equipos de investigación involucrados en el proyecto. Además de las tecnologÃas avanzadas para la computación numérica a gran escala, el proyecto abordó las tecnologÃas necesarias para el procesamiento de grandes datos y gráficos, la complejidad de la jerarquÃa de la memoria y el problema de la energÃa. También fue una prioridad central trazar la dirección de la futura informática de alto rendimiento. Nota de contenido: JST CREST Post-petascale software project bridging to exascale computing -- ppOpen-HPC/pK-Open-HPC: Application Development Framework with Automatic Tuning (AT) -- Scalable Eigen-analysis Engine for Large-scale Eigenvalue Problems -- System Software for Many-core & Multi-core Architecture -- Highly Productive, High Performance Application Frameworks for Post Petascale Computing -- System Software for Data-intensive Science -- Approaches for Memory-Efficient Communication Library and Runtime Communication Optimization -- A development platform for embedded domain-specific languages -- Xevolver: a user-defined code transformation approach to streamlining legacy code migration -- Numerical Library Based on Hierarchical Domain Decomposition -- Advanced Computing & Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale Supercomputers -- Software Technology that Deals with Deeper Memory Hierarchy in Post-petascale Era -- Power Management Framework for Post-Petascale Supercomputers -- Project CASSIA —Framework for Exhaustive and Large-scale Social Simulation— -- GPU Accelerated Language and Communication Support by FPGA. Tipo de medio : Computadora Summary : Covering research topics from system software such as programming languages, compilers, runtime systems, operating systems, communication middleware, and large-scale file systems, as well as application development support software and big-data processing software, this book presents cutting-edge software technologies for extreme scale computing. The findings presented here will provide researchers in these fields with important insights for the further development of exascale computing technologies. This book grew out of the post-peta CREST research project funded by the Japan Science and Technology Agency, the goal of which was to establish software technologies for exploring extreme performance computing beyond petascale computing. The respective were contributed by 14 research teams involved in the project. In addition to advanced technologies for large-scale numerical computation, the project addressed the technologies required for big data and graph processing, the complexity of memory hierarchy, and the power problem. Mapping the direction of future high-performance computing was also a central priority. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advanced Software Technologies for Post-Peta Scale Computing : The Japanese Post-Peta CREST Research Project [documento electrónico] / Sato, Mitsuhisa, . - 1 ed. . - Singapore [Malasia] : Springer, 2019 . - VIII, 317 p. 183 ilustraciones, 112 ilustraciones en color.
ISBN : 978-981-1319242--
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Programación de computadoras Técnicas de programación Clasificación: 005.11 Resumen: Este libro, que cubre temas de investigación de software de sistemas como lenguajes de programación, compiladores, sistemas de ejecución, sistemas operativos, middleware de comunicación y sistemas de archivos a gran escala, asà como software de soporte al desarrollo de aplicaciones y software de procesamiento de big data, presenta software de vanguardia. tecnologÃas para computación a escala extrema. Los hallazgos presentados aquà proporcionarán a los investigadores de estos campos conocimientos importantes para un mayor desarrollo de las tecnologÃas informáticas a exaescala. Este libro surgió del proyecto de investigación CREST post-peta financiado por la Agencia de Ciencia y TecnologÃa de Japón, cuyo objetivo era establecer tecnologÃas de software para explorar la computación de rendimiento extremo más allá de la computación a petaescala. Los respectivos fueron aportados por 14 equipos de investigación involucrados en el proyecto. Además de las tecnologÃas avanzadas para la computación numérica a gran escala, el proyecto abordó las tecnologÃas necesarias para el procesamiento de grandes datos y gráficos, la complejidad de la jerarquÃa de la memoria y el problema de la energÃa. También fue una prioridad central trazar la dirección de la futura informática de alto rendimiento. Nota de contenido: JST CREST Post-petascale software project bridging to exascale computing -- ppOpen-HPC/pK-Open-HPC: Application Development Framework with Automatic Tuning (AT) -- Scalable Eigen-analysis Engine for Large-scale Eigenvalue Problems -- System Software for Many-core & Multi-core Architecture -- Highly Productive, High Performance Application Frameworks for Post Petascale Computing -- System Software for Data-intensive Science -- Approaches for Memory-Efficient Communication Library and Runtime Communication Optimization -- A development platform for embedded domain-specific languages -- Xevolver: a user-defined code transformation approach to streamlining legacy code migration -- Numerical Library Based on Hierarchical Domain Decomposition -- Advanced Computing & Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale Supercomputers -- Software Technology that Deals with Deeper Memory Hierarchy in Post-petascale Era -- Power Management Framework for Post-Petascale Supercomputers -- Project CASSIA —Framework for Exhaustive and Large-scale Social Simulation— -- GPU Accelerated Language and Communication Support by FPGA. Tipo de medio : Computadora Summary : Covering research topics from system software such as programming languages, compilers, runtime systems, operating systems, communication middleware, and large-scale file systems, as well as application development support software and big-data processing software, this book presents cutting-edge software technologies for extreme scale computing. The findings presented here will provide researchers in these fields with important insights for the further development of exascale computing technologies. This book grew out of the post-peta CREST research project funded by the Japan Science and Technology Agency, the goal of which was to establish software technologies for exploring extreme performance computing beyond petascale computing. The respective were contributed by 14 research teams involved in the project. In addition to advanced technologies for large-scale numerical computation, the project addressed the technologies required for big data and graph processing, the complexity of memory hierarchy, and the power problem. Mapping the direction of future high-performance computing was also a central priority. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Algorithms for Functional Programming Tipo de documento: documento electrónico Autores: Stone, John David, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2018 Número de páginas: XV, 389 p. ISBN/ISSN/DL: 978-3-662-57970-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Programación de computadoras Algoritmos Técnicas de programación Clasificación: 005.11 Resumen: Este libro presenta una variedad de algoritmos ampliamente utilizados, expresándolos en un lenguaje de programación funcional puro para que su estructura y funcionamiento sean más claros para los lectores. En el capÃtulo inicial, el autor introduce las notaciones especÃficas que constituyen la variante de Scheme que utiliza. El segundo capÃtulo presenta muchos de los patrones más simples y generales disponibles en la programación funcional. Los capÃtulos que siguen presentan y explican estructuras de datos, clasificación, construcciones combinatorias, gráficos y búsqueda de sublistas. A lo largo del libro, el autor presenta los algoritmos en una versión puramente funcional del lenguaje de programación Scheme, que pone a disposición en su sitio web. El libro está respaldado con ejercicios y es adecuado para cursos de pregrado y posgrado sobre técnicas de programación. Nota de contenido: Essential Notations -- The Tool Box -- Data Structures -- Sorting -- Combinatorial Constructions -- Graphs -- Sublist Search. Tipo de medio : Computadora Summary : This book presents a variety of widely used algorithms, expressing them in a pure functional programming language to make their structure and operation clearer to readers. In the opening chapter the author introduces the specific notations that constitute the variant of Scheme that he uses. The second chapter introduces many of the simpler and more general patterns available in functional programming. The chapters that follow introduce and explain data structures, sorting, combinatorial constructions, graphs, and sublist search. Throughout the book the author presents the algorithms in a purely functional version of the Scheme programming language, which he makes available on his website. The book is supported with exercises, and it is suitable for undergraduate and graduate courses on programming techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Algorithms for Functional Programming [documento electrónico] / Stone, John David, . - 1 ed. . - Berlin [Alemania] : Springer, 2018 . - XV, 389 p.
ISBN : 978-3-662-57970-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Programación de computadoras Algoritmos Técnicas de programación Clasificación: 005.11 Resumen: Este libro presenta una variedad de algoritmos ampliamente utilizados, expresándolos en un lenguaje de programación funcional puro para que su estructura y funcionamiento sean más claros para los lectores. En el capÃtulo inicial, el autor introduce las notaciones especÃficas que constituyen la variante de Scheme que utiliza. El segundo capÃtulo presenta muchos de los patrones más simples y generales disponibles en la programación funcional. Los capÃtulos que siguen presentan y explican estructuras de datos, clasificación, construcciones combinatorias, gráficos y búsqueda de sublistas. A lo largo del libro, el autor presenta los algoritmos en una versión puramente funcional del lenguaje de programación Scheme, que pone a disposición en su sitio web. El libro está respaldado con ejercicios y es adecuado para cursos de pregrado y posgrado sobre técnicas de programación. Nota de contenido: Essential Notations -- The Tool Box -- Data Structures -- Sorting -- Combinatorial Constructions -- Graphs -- Sublist Search. Tipo de medio : Computadora Summary : This book presents a variety of widely used algorithms, expressing them in a pure functional programming language to make their structure and operation clearer to readers. In the opening chapter the author introduces the specific notations that constitute the variant of Scheme that he uses. The second chapter introduces many of the simpler and more general patterns available in functional programming. The chapters that follow introduce and explain data structures, sorting, combinatorial constructions, graphs, and sublist search. Throughout the book the author presents the algorithms in a purely functional version of the Scheme programming language, which he makes available on his website. The book is supported with exercises, and it is suitable for undergraduate and graduate courses on programming techniques. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Central European Functional Programming School / Zsók, Viktória ; Porkoláb, Zoltán ; Horváth, Zoltán
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
