Now showing items 1-20 of 623

    • The satisfiability problem in regular CNF-formulas 

      Manyà Serres, Felip; Béjar Torres, Ramón; Escalada Imaz, G. (Springer Verlag, 1998)
      In this paper we deal with the propositional satisfiability (SAT) problem for a kind of multiple-valued clausal forms known as regular CNF-formulas and extend some known results from classical logic to this kind ...
    • Processing of leather waste: pilot scale studies on chrome shavings. Isolation of potentially valuable protein products and chromium 

      Cabeza, Luisa F.; Taylor, M. M.; DiMaio, G. L.; Brown, E. M.; Marmer, W. N.; Carrió, R.; Celma, P. J.; Cot Gores, Jaume (Elsevier Science, 1998)
      Hides come to the tanner as a by-product of the meat industry. The tanning process, in turn, generates much greater quantities of by-products and wastes than leather. One ton of wet salted hides yields only 200 kg of leather ...
    • Using UML for Modelling the Static Part of a Software Process 

      Franch, Xavier; Ribó i Balust, Josep M. (Josep Maria) (Springer Verlag, 1999)
      We study in this paper the use of UML as a tool for modelling the process of software construction. As a case study, we deal with the process of building a library of software components. UML is used in order to define ...
    • A Time-Domain Method for the Analysis of Thermal Impedance Response Preserving the Convolution Form 

      Carmona, Manuel; Marco, Santiago; Palacín Roca, Jordi; Samitier, Josep (Institute of Electrical and Electronics Engineers, 1999)
      The study of the thermal behavior of complex packages as multichip modules (MCM’s) is usually carried out by measuring the so-called thermal impedance response, that is: the transient temperature after a power step. ...
    • Exploiting Knowledge of Temporal Behaviour in Parallel Programs for Improving Distributed Mapping 

      Roig Mateu, Concepció; Ripoll, A.; Senar, M.A.; Guirado Fernández, Fernando; Luque, Emilio (Springer Verlag, 2000)
      In the distributed processing area, mapping and scheduling are very important issues in order to exploit the gain from parallelization. The generation of efficient static mapping techniques implies a previous modelling ...
    • Monito: A Communication Monitoring Tool for a PVM-Linux Environment 

      Solsona Tehàs, Francesc; Giné, Francesc; Lérida Monsó, Josep Lluís; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2000)
      In this paper a new tool for monitoring the different queues of messages in a PVM environment is presented. The main aim of implementing this facility is to provide a means of capturing the bottlenecks and overheads of ...
    • Implementing Explicit and Implicit Coscheduling in a PVM Environment 

      Solsona Tehàs, Francesc; Giné, Francesc; Hernandez, Porfidio; Luque, Emilio (Springer Verlag, 2000)
      Our efforts are directed towards the understanding of the coscheduling mechanism in a NOW system when a parallel job is executed with local workloads, balancing parallel efficiency against the local interactive response. ...
    • Formalizing defeasible argumentation using a labeled deductive system 

      Chesñevar, Carlos Iván; Simari, Guillermo Ricardo (Iberoamerican Science & Technology Education Consortium, 2001)
      In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed ...
    • Coscheduling techniques and monitoring tools for non-dedicated cluster computing 

      Solsona Tehàs, Francesc; Giné, Francesc; Hernández Budé, Porfidio; Luque, Emilio (Iberoamerican Science & Technology Education Consortium, 2001)
      Our efforts are directed towards the understanding of the coscheduling mechanism in a NOW system when a parallel job is executed jointly with local workloads, balancing parallel performance against the local interactive ...
    • 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 ...
    • A Fully Scalable and Distributed Architecture for Video-on-Demand 

      Cores Prado, Fernando; Ripoll, A.; Luque, Emilio (Springer Verlag, 2001)
      In spite of the attractiveness of Video-on-demand (VoD) services, their implantation to the present has not been as widespread as could have been desired due to centralized VoD systems have a limited streaming capacity ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...
    • 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 ...