Now showing items 21-40 of 932

    • Capturing Structure with Satisfiability 

      Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip; Gomes, Carla (Springer Verlag, 2001)
      We present Regular-SAT, an extension of Boolean Satisfiability basedon a class of many-valuedCNF formulas. Regular-SAT shares many properties with Boolean SAT, which allows us to generalize some of the best known SAT ...
    • Predictive Coscheduling Implementation in a non-dedicated Linux Cluster 

      Solsona Tehàs, Francesc; Giné, Francesc; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2001)
      Our research is focussed on keeping both local and parallel jobs together in a non-dedicated cluster or NOW (Network Of Workstations) and efficiently scheduling them by means of coscheduling mechanisms. A real implementation ...
    • Suboptimal Filtering and Nonlinear Time Scale Transformation for the Analysis of Multiexponential Decays 

      Palacín Roca, Jordi; Marco, Santiago; Samitier, Josep (IEEE, 2001)
      Multiexponential decays may contain time-constants differing in several orders of magnitudes. In such cases, uniform sampling results in very long records featuring a high degree of oversampling at the final part of the ...
    • Coscheduling under Memory Constraints in a NOW 

      Giné, Francesc; Solsona Tehàs, Francesc; Hernández Budé, Porfidio; Luque, Emilio (Springer Verlag, 2001)
      Networks of Workstations (NOW) have become important and cost-effective parallel platforms for scientific computations. In practice, a NOW system is heterogeneous and non-dedicated. These two unique factors make scheduling ...
    • MemTo: A Memory Monitoring Tool for a Linux Cluster 

      Giné, Francesc; Solsona Tehàs, Francesc; Navarro, Xavi; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2001)
      Studies dealing with tuning, performance debugging and diagnosis in cluster environments largely benefit from in-depth knowledge of memory system information. In this paper a tool (called MemTo) for monitoring the ...
    • Implementing and Analysing an Effective Explicit Coscheduling Algorithm on a NOW 

      Solsona Tehàs, Francesc; Giné, Francesc; Molina, Fermín; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2001)
      Networks of workstations (NOWs) have become important and cost-effective parallel platforms for scientific computations. In practice, a NOW system is heterogeneous and non-dedicated. These two unique factors make ...
    • Improved Multiexponential Transcient Spectroscopy By Iterative Deconvolution 

      Marco, Santiago; Palacín Roca, Jordi; Samitier, Josep (Institute of Electrical and Electronics Engineers, 2001)
      The analysis of multiexponential decays is challenging because of their complex nature. When analyzing these signals, not only the parameters, but also the orders of the models, have to be estimated. Here, we present ...
    • Immersion corrosion tests on metal-salt hydrate pairs used for latent heat storage in the 32 to 36 8C temperature range 

      Cabeza, Luisa F.; Illa i Alibés, Josep; Roca Enrich, Joan; Badia Pascual, Ferran; Mehling, Harald; Hiebler, Stefan; Ziegler, F. (Wiley, 2001)
      During the last decades, energy storage has become more and more important. It is required in order to utilize alternative energy sources, which often are available at times when energy is not needed. The main applications ...
    • Efficient Mapping for Message-Passing Applications Using the TTIG Model: A Case Study in Image Processing 

      Roig Mateu, Concepció; Ripoll, A.; Borrás, Javier; Luque, Emilio (Springer Verlag, 2001)
      In this paper we describe the development and performance of an image processing application with functional parallelism within the PVM framework. The temporal behaviour of the application is statically modelled with ...
    • Extending the Reach of SAT with Many-Valued Logics 

      Béjar Torres, Ramón; Cabiscol i Teixidó, Alba; Fernàndez Camon, César; Manyà Serres, Felip; Gomes, Carla (Elsevier, 2001)
      We present Regular-SAT, an extension of Boolean Satisfiability based on a class of many-valued CNFform ulas. Regular-SAT shares many properties with Boolean SAT, which allows us to generalize some of the best known SAT ...
    • Un modelo interactivo ubicuo aplicado al patrimonio natural y cultural del area del Montsec 

      Sendín Veloso, Montserrat; Granollers i Saltiveri, Toni; Lorés Vidal, Jesús; Aguiló, Carles; Balaguer, Alexandra (Asociación Española para la Inteligencia Artificial (AEPIA), 2002)
      En este artículo presentamos un entorno multimedia móvil y sensible al contexto, aplicado al patrimonio natural y cultural del área del Montsec. Se trata de una propuesta basada en una arquitectura ubícua, uno de los ...
    • Determinación simultanea de taninos y no taninos en extractos vegetales mediante espectroscopia infrarojo cercano (NIR) y calibración multivariante 

      Cuadros Domènech, Rosa; Lalueza, J.; Morera Prat, Josep M. (Asociación Química Española de la Industria del Cuero, 2002)
      En el presente artículo se describe una nueva metodología para la deteminación de taninos y no taninos en muestras de extractos vegetales de forma simultánea y sin pretratamiento de la muestra. La técnica se basa en el ...
    • Axion thermalization in the early universe 

      Massó, Eduard; Rota, Francesc; Zsembinszki, Gabriel (American Physical Society, 2002)
      We reanalyze the conditions under which we have a primordial thermal population of axions. We extend a previous study and take into account processes involving gluons and quarks. We conclude that if the PecceiQuinn scale ...
    • Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: A comparative description 

      Alsinet, Teresa; Godó, Lluís; Sandri, Sandra (Elsevier, 2002)
      Possibilistic logic is a logic of uncertainty where a certainty degree between 0 and 1, interpreted as a lower bound of a necessity measure, is attached to each classical formula. In this paper we present a comparative ...
    • AMEEDA: A general-purpose mapping tool for parallel applications on dedicated clusters 

      Yuan, X.; Roig Mateu, Concepció; Ripoll, A.; Senar, M.A.; Guirado Fernández, Fernando; Luque, Emilio (Springer Verlag, 2002)
      The mapping of parallel applications constitutes a difficult problem for which very few practical tools are available. AMEEDA has been developed in order to overcome the lack of a general-purpose mapping tool. The ...
    • Adjusting Time Slices to Apply Coscheduling Techniques in a non-dedicated NOW 

      Giné, Francesc; Solsona Tehàs, Francesc; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2002)
      Our research is focussed on keeping both local and parallel jobs together in a time-sharing NOW and efficiently scheduling them by means of coscheduling mechanisms. In such systems, the proper length of the time slice ...
    • 128 x 128 CMOS Image Sensor With Analog Memory for Synchronous Image Capture 

      Chapinal, Genis; Bota, Sebastian A.; Moreno, Mauricio; Palacín Roca, Jordi; Herms, Atilà (Institute of Electrical and Electronic Engineers, 2002)
      A 128 x 128 CMOS imager that permits synchronous capture is presented. The sensor combines the best of CMOS imagers (low-power, random readout, nondestructive readout, single supply voltage…) and synchronous capture ...
    • The Effects of Coronary Occlusion Location on the RR Signal 

      Clarià Sancho, Francisco; Vallverdú, Montserrat; Caminal Magrans, Pere (Institute of Electrical and Electronics Engineers, 2002)
      In this article, we carry out the study of the energy contribution of theRRsignal in the three frequency bands (LF, MF, and HF) during PTCA. Furthermore, variables based on instantaneous frequency and on group delay ...
    • Heat transfer enhancement in water when used as PCM in thermal energy storage 

      Cabeza, Luisa F.; Mehling, Harald; Hiebler, Stefan; Ziegler, F. (Elsevier Science, 2002)
      Efficient and reliable storage systems for thermal energy are an important requirement in many applications where heat demand and supply or availability do not coincide. Heat and cold stores can basically be divided in two ...
    • Estudio del desengrase en pieles ovinas por espectroscopia en el infrarrojo próximo 

      Canals, Trini; Cantero Gómez, M. Rosa; Iturriaga Martínez, Hortensia (Asociación Química Española de la Industria del Cuero, 2002)
      Las demandas actuales de respeto por el medio y de rapidez en la realización de los análisis de control, obligan a sustituir métodos contaminantes y lentos por otros no contaminantes y más rápidos. Una buena alternativa ...