Información del autor
Documentos disponibles escritos por este autor (14)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Rodríguez Velasco, Gema ; Benavent Merchán, Maite ; Infante del Río, Juan Antonio ; Sobrón Fernández, María Inés ; Ortega Mallén, Yolanda ; Gómez Chacón, Inés María ; Giraldo Suárez, Luis ; González Pérez, Pedro ; Díaz Cano, Antonio ; Seoane Sepúlveda, Juan Benigno ; Folgueira López, Marta ; Carvajal García-Pando, Amador ; Cimadevilla Rodríguez, Javier | 2018-06-30Resumen del proyecto PIMCD 232 (2017) que presenta el diseño y uso de un sistema de seguimiento de egresados en la Facultad de Matemáticas para análisis de empleabilidad así como para información que valga para la mejora de las titulaciones.texto impreso
The functional parallel language Eden — suitable for the description of parallel and concurrent algorithms in a distributed setting — is an extension of Haskell with a set of coordination features. In this paper we present a formal operational s[...]texto impreso
A key point in the efficiency of parallel programs is the distribution of computation among processes. Haskell parallel dialects—like Eden—use mixed lazy and strict evaluation, and parallel performance is determined by the strategy used. We inve[...]texto impreso
Cathodoluminescence study of semiconductor oxide micro- and nanostructures grown by vapor deposition
Piqueras de Noriega, Javier ; Maestre Varea, David ; Ortega Mallén, Yolanda ; Cremades Rodríguez, Ana Isabel ; Fernández Sánchez, Paloma | Wiley-Blackwell | 2008-07starting SnO_2, powder. In-rich nanoislands were found to grow on some edges of the tubes. ZnO nanostructures doped with Sri or Eu were grown by adding SnO_2 and Eu(2)O(3) powder, respectively, to the ZnO precursor powder. All the samples have b[...]texto impreso
In parallel functional languages, like Eden, lazy and strict evaluation are commonly mixed. Thus, the parallel performance of these languages depends on the strategy used to fix the degrees of laziness/strictness. By using an implementation of E[...]texto impreso
The aim of the present work is to compare, from a formal semantic basis, the different approaches to the parallelization of functional programming languages. For this purpose, we define a continuation semantics model which allows us to deal with[...]texto impreso
We define a denotational semantics for a kernel-calculus of the parallel functional language Eden. We choose continuations to deal with side-effects (process creation and communication) in a lazy context. The calculus includes streams for commun[...]texto impreso
We present an operational semantics for a functional parallel language with explicit process creation and implicit message-passing communication. The semantics is based on a distributed memory model and is effective for investigating the interpl[...]texto impreso
Gómez Martín, Marco Antonio ; Segura Díaz, Clara María ; Ortega Mallén, Yolanda ; Verdejo López, José Alberto ; Martí Oliet, Narciso ; Gómez Martín, Pedro Pablo ; Carballa Corredoira, Boris ; García Baameiro, Daniel ; Martín Sánchez, Óscar ; Doménech Arellano, Jesús Javier ; Costero Valero, Luis María ; Jacynycz García, Viktor Shamel | 2019-10-23Informe sobre la experiencia de aplicar técnicas de gamificación en la asignatura “Estructura de Datos y Algoritmos”, obligatoria de 2º curso en los grados impartidos en la Facultad de Informática de la UCM.texto impreso
Rodríguez Velasco, Gema de Jesús ; Benavent Merchán, María Teresa ; Cabeza Llorca, Ana ; Carvajal García-Pando, Amador ; Cimadevilla Rodríguez, Francisco Javier ; Díaz-Cano Ocaña, Antonio ; Folgueira López, Marta ; García-Ochoa Roldán, María Luisa ; Giraldo Suárez, Luis ; Gómez Chacón, Inés María ; González Pérez, Pedro Daniel ; Infante del Río, Juan Antonio ; Ortega Mallén, Yolanda ; Seoane Sepúlveda, Juan Benigno | 2017-07-07texto impreso
Eden extends the non-strict functional language Haskell with constructs to control parallel valuation of processes. Although processes are defined explicitly, communication and synchronisation issues are handled in a way transparent to the progr[...]texto impreso
In order to prove the computational adequacy of the (operational)natural semantics for lazy evaluation with respect to a standard denotational semantics, Launchbury defines a resourced denotational semantics. This should be equivalent to the sta[...]texto impreso
Aceto, Luca ; Fábregas, Ignacio ; García-Pérez, Álvaro ; Ortega Mallén, Yolanda | Logical Methods in Computer Science | 2019-10-14The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the sp[...]texto impreso
Eden is a parallel extension of the functional language Haskell. On behalf of parallelism Eden overrides Haskell’s pure lazy approach, combining a non-strict functional application with eager process creation and eager communication. We desire t[...]
