• Comparing MapReduce and pipeline implementations for counting triangles 

      Pasarella Sánchez, Ana Edelmira; Vidal, Maria-Esther; Zoltan Torres, Ana Cristina (2017-01-11)
      Article
      Accés obert
      A common method to define a parallel solution for a computational problem consists in finding a way to use the Divide and Conquer paradigm in order to have processors acting on its own data and scheduled in a parallel ...
    • Dynamic pipelining of multidimensional range queries 

      Duch Brown, Amalia; Lugosi, Daniel; Pasarella Sánchez, Ana Edelmira; Zoltan Torres, Ana Cristina (2019-06-07)
      Article
      Accés obert
      The problem of evaluating orthogonal range queries efficiently has been studied widely in the data structures community. It has been common wisdom for several years that for queries containing more than 20% of the ...
    • Exploiting parallelism by customizing evaluation 

      Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina (Universidad Complutense de Madrid (UCM), 2011)
      Text en actes de congrés
      Accés obert
      NiMo is a totally graphic language from the family of Higher Order Typed languages with a strong Data flow inspiration. The interpreter is a specialized graph transformation system, and therefore the language operational ...
    • Graphical and incremental type inference: a graph transformation approach 

      Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina; Prestigiacomo, Guillermo (2009-11-17)
      Report de recerca
      Accés obert
      We present a graph grammar based type inference system for a totally graphic development language. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that acts as an on-line tracer and debugger. Programs ...
    • Graphical type inference: A graph grammar definition 

      Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina (2007-06)
      Report de recerca
      Accés obert
      We present a graph grammar based type inference system for a totally graphic language inspired in the data flow view of lazy functional programs. NiMo (Nets in Motion) can be seen as a graphic equivalent to Haskell that ...
    • Implementing static synchronous sensor fields using NiMo 

      Clérici Martínez, Silvia Inés; Duch Brown, Amalia; Zoltan Torres, Ana Cristina (2009-05)
      Report de recerca
      Accés obert
      In this work we present some implementations of a Static Synchronous Sensor Field (SSSF), a static and synchronous model for sensor networks in which a finite set of sensing devices are geographically distributed and can ...
    • MapReduce vs. pipelining counting triangles 

      Pasarella Sánchez, Ana Edelmira; Vidal Serodio, Maria Esther; Zoltan Torres, Ana Cristina (CEUR-WS.org, 2016)
      Text en actes de congrés
      Accés obert
      In this paper we follow an alternative approach named pipeline, to implement a parallel implementation of the well-known problem of counting triangles in a graph. This problem is especially interesting either when the input ...
    • NiMo syntax: part 1 

      Clérici Martínez, Silvia Inés; Prestigiacomo, Guillermo; Zoltan Torres, Ana Cristina (2014)
      Report de recerca
      Accés obert
      Many formalisms for the specification for concurrent and distributed systems have emerged. In particular considering boxes and strings approaches. Examples are action calculi, rewriting logic and graph rewriting, bigraphs. ...
    • NiMoToons: a totally graphic workbench for program tuning and experimentation 

      Clérici Martínez, Silvia Inés; Zoltan Torres, Ana Cristina; Prestigiacomo, Guillermo (Elsevier Science Publishers B.V. NORTH HOLLAND, 2009-12-25)
      Article
      Accés obert
      NiMo (Nets In Motion) is a Graphic-Functional-Data Flow language designed to visualize algorithms and their execution in an understandable way. Programs are process networks that evolve showing the full state at each ...