950 resultados para Symbolic Execution
Resumo:
RésuméCette thèse traite de l'utilisation des concepts de Symbiose Industrielle dans les pays en développement et étudie le potentiel de cette stratégie pour stimuler un développement régional durable dans les zones rurales d'Afrique de l'Ouest. En particulier, lorsqu'une Symbiose Industrielle est instaurée entre une usine et sa population alentour, des outils d'évaluation sont nécessaires pour garantir que le projet permette d'atteindre un réel développement durable. Les outils existants, développés dans les pays industrialisés, ne sont cependant pas complètement adaptés pour l'évaluation de projets dans les pays en développement. En effet, les outils sont porteurs d'hypothèses implicites propres au contexte socio-économique dans lequel ils ont été conçus.L'objectif de cette thèse est de développer un cadre méthodologique pour l'évaluation de la durabilité de projets de Symbiose Industrielle dans les pays en développement.Pour ce faire, je m'appuie sur une étude de cas de la mise en place d'une Symbiose Industrielle au nord du Nigéria, à laquelle j'ai participé en tant qu'observatrice dès 2007. AshakaCem, une usine productrice de ciment du groupe Lafarge, doit faire face à de nombreuses tensions avec la population rurale alentour. L'entreprise a donc décidé d'adopter une nouvelle méthode inspirée des concepts de Symbiose Industrielle. Le projet consiste à remplacer jusqu'à 10% du carburant fossile utilisé pour la cuisson de la matière crue (calcaire et additifs) par de la biomasse produite par les paysans locaux. Pour ne pas compromettre la fragile sécurité alimentaire régionale, des techniques de lutte contre l'érosion et de fertilisation naturelle des sols sont enseignées aux paysans, qui peuvent ainsi utiliser la culture de biomasse pour améliorer leurs cultures vivrières. A travers cette Symbiose Industrielle, l'entreprise poursuit des objectifs sociaux (poser les bases nécessaires à un développement régional), mais également environnementaux (réduire ses émissions de CO2 globales) et économiques (réduire ses coûts énergétiques). Elle s'ancre ainsi dans une perspective de développement durable qui est conditionnelle à la réalisation du projet.A travers l'observation de cette Symbiose et par la connaissance des outils existants je constate qu'une évaluation de la durabilité de projets dans les pays en développement nécessite l'utilisation de critères d'évaluation propres à chaque projet. En effet, dans ce contexte, l'emploi de critères génériques apporte une évaluation trop éloignée des besoins et de la réalité locale. C'est pourquoi, en m'inspirant des outils internationalement reconnus comme l'Analyse du Cycle de Vie ou la Global Reporting Initiative, je définis dans cette thèse un cadre méthodologique qui peut, lui, être identique pour tous les projets. Cette stratégie suit six étapes, qui se réalisent de manière itérative pour permettre une auto¬amélioration de la méthodologie d'évaluation et du projet lui-même. Au cours de ces étapes, les besoins et objectifs en termes sociaux, économiques et environnementaux des différents acteurs sont déterminés, puis regroupés, hiérarchisés et formulés sous forme de critères à évaluer. Des indicateurs quantitatifs ou qualitatifs sont ensuite définis pour chacun de ces critères. Une des spécificités de cette stratégie est de définir une échelle d'évaluation en cinq graduations, identique pour chaque indicateur, témoignant d'un objectif totalement atteint (++) ou pas du tout atteint (--).L'application de ce cadre méthodologique à la Symbiose nigériane a permis de déterminer quatre critères économiques, quatre critères socio-économiques et six critères environnementaux à évaluer. Pour les caractériser, 22 indicateurs ont été définis. L'évaluation de ces indicateurs a permis de montrer que le projet élaboré atteint les objectifs de durabilité fixés pour la majorité des critères. Quatre indicateurs ont un résultat neutre (0), et un cinquième montre qu'un critère n'est pas atteint (--). Ces résultats s'expliquent par le fait que le projet n'en est encore qu'à sa phase pilote et n'a donc pas encore atteint la taille et la diffusion optimales. Un suivi sur plusieurs années permettra de garantir que ces manques seront comblés.Le cadre méthodologique que j'ai développé dans cette thèse est un outil d'évaluation participatif qui pourra être utilisé dans un contexte plus large que celui des pays en développement. Son caractère générique en fait un très bon outil pour la définition de critères et indicateurs de suivi de projet en terme de développement durable.SummaryThis thesis examines the use of industrial symbiosis in developing countries and studies its potential to stimulate sustainable regional development in rural areas across Western Africa. In particular, when industrial symbiosis is instituted between a factory and the surrounding population, evaluation tools are required to ensure the project achieves truly sustainable development. Existing tools developed in industrialized countries are not entirely suited to assessing projects in developing countries. Indeed, the implicit hypotheses behind such tools reflect the socioeconomic context in which they were designed. The goal of this thesis is to develop a methodological framework for evaluating the sustainability of industrial symbiosis projects in developing countries.To accomplish this, I followed a case study about the implementation of industrial symbiosis in northern Nigeria by participating as an observer since 2007. AshakaCem, a cement works of Lafarge group, must confront many issues associated with violence committed by the local rural population. Thus, the company decided to adopt a new approach inspired by the concepts of industrial symbiosis.The project involves replacing up to 10% of the fossil fuel used to heat limestone with biomass produced by local farmers. To avoid jeopardizing the fragile security of regional food supplies, farmers are taught ways to combat erosion and naturally fertilize the soil. They can then use biomass cultivation to improve their subsistence crops. Through this industrial symbiosis, AshakaCem follows social objectives (to lay the necessary foundations for regional development), but also environmental ones (to reduce its overall CO2 emissions) and economical ones (to reduce its energy costs). The company is firmly rooted in a view of sustainable development that is conditional upon the project's execution.By observing this symbiosis and by being familiar with existing tools, I note that assessing the sustainability of projects in developing countries requires using evaluation criteria that are specific to each project. Indeed, using generic criteria results in an assessment that is too far removed from what is needed and from the local reality. Thus, by drawing inspiration from such internationally known tools as Life Cycle Analysis and the Global Reporting Initiative, I define a generic methodological framework for the participative establishment of an evaluation methodology specific to each project.The strategy follows six phases that are fulfilled iteratively so as to improve the evaluation methodology and the project itself as it moves forward. During these phases, the social, economic, and environmental needs and objectives of the stakeholders are identified, grouped, ranked, and expressed as criteria for evaluation. Quantitative or qualitative indicators are then defined for each of these criteria. One of the characteristics of this strategy is to define a five-point evaluation scale, the same for each indicator, to reflect a goal that was completely reached (++) or not reached at all (--).Applying the methodological framework to the Nigerian symbiosis yielded four economic criteria, four socioeconomic criteria, and six environmental criteria to assess. A total of 22 indicators were defined to characterize the criteria. Evaluating these indicators made it possible to show that the project meets the sustainability goals set for the majority of criteria. Four indicators had a neutral result (0); a fifth showed that one criterion had not been met (--). These results can be explained by the fact that the project is still only in its pilot phase and, therefore, still has not reached its optimum size and scope. Following up over several years will make it possible to ensure these gaps will be filled.The methodological framework presented in this thesis is a highly effective tool that can be used in a broader context than developing countries. Its generic nature makes it a very good tool for defining criteria and follow-up indicators for sustainable development.
Resumo:
The recent strides of democracy in Latin America have been associated to conflicting outcomes. The expectation that democracy would bring about peace and prosperity have been only partly satisfied. While political violence has been by and large eradicated from the sub-continent, poverty and social injustice still prevail and hold sway. Our study argues that democracy matters for inequality through the growing strength of center left and left parties and by making political leaders in general more responsive to the underprivileged. Furthermore, although the pension reforms recently enacted in the region generated overall regressive outcomes on income distribution, democratic countries still benefit from their political past: where democratic tradition was stronger, such outcomes have been milder. Democratic tradition and the specific ideological connotations of the parties in power, on the other hand, did not play an equally crucial role in securing lower levels of political violence: during the last wave of democratizations in Latin America, domestic peace was rather an outcome of political and social concessions to those in distress. In sum, together with other factors and especially economic ones, the reason why recent democratizations have provided domestic peace in most cases, but have been unable so far to solve the problem of poverty and inequality, is that democratic traditions in the subcontinent have been relatively weak and, more specifically, that this weakness has undermined the growth of left and progressive parties, acting as an obstacle to redistribution. Such weakness, on the other hand, has not prevented the drastic reduction of domestic political violence, since what mattered in this case was a combination of symbolic or material concessions and political agreements among powerful élites and counter-élites.
Resumo:
La present recerca té per objecte l’estudi de la utilització dels sistemes de control electrònic monitorat a la població penada a Catalunya. La finalitat principal del projecte és la d’analitzar l’adequació d’aquests sistemes als fins que la llei penal, processal i penitenciària els encomana i valorar la viabilitat d’ampliació de la utilització d’aquests sistemes. L’interès en la realització d’aquest estudi deriva de la constatació, per una banda, de l’existència d’una àmplia oferta de sistemes tecnològics, en constant desenvolupament i millora, que permeten un seguiment i control dels individus en la comunitat, i per altra banda, de la progressiva incorporació d’aquestes tecnologies en la legislació penal i penitenciària. La recerca parteix de la base que en l’actual context de presons superpoblades, de creixent volum de la població interna en centres penitenciaris i de recerca de mesures de major control del risc, l’anàlisi de l’ús que s’ha donat a aquest recurs legal i la valoració que de la seva utilització en fan els subjectes involucrats en la seva aplicació pot resultar cabdal per al disseny de noves polítiques penitenciàries. A més, la recerca hauria de permetre plantejar l’eventual extensió d’aquests sistemes a un major nombre de supòsits en el mateix context del tercer grau penitenciari o bé fins i tot plantejar la seva utilització en la llibertat condicional o en altres àmbits de l’execució penal.
Resumo:
Primero comenzamos por describir la situación global histórica de la transformación del entorno. Luego se describe cómo evoluciona la Educación Ambiental bajo el concepto del desarrollo, constituyéndose como la Educación Ambiental para el Desarrollo Sustentable. Continuamos describiendo la situación de la EA a nivel internacional; se pasa luego al ámbito nacional, teniendo como escenario a México, aquí se hace un análisis del estado que guarda la EA en el país. Después se continua con el ámbito estatal, para lo cual se analiza la situación de la EA en el estado de Zacatecas, en este plano se toca el tema de la participación de las instituciones de educación superior en el intercambio de experiencias y conocimientos para el fortalecimiento de programas de EADS. Luego pasamos a un ámbito municipal, el caso a tratar es el municipio de Monte Escobedo Zacatecas, se hace una descripción general del municipio y se tratan los antecedentes que han motivado este proyecto, para luego pasar a describir el caso específico de la Sierra de Monte Escobedo; a partir de las características de ésta y retomando una propuesta previa de integrar la Sierra al sistema de Áreas Naturales Protegidas de México, se hacen dos propuestas: La primera es sobre el diseño de un Centro de Interpretación y Educación Ambiental; la segunda es para la realización de un Sendero de interpretación. Ambas propuestas pretenden contribuir al aprovechamiento sustentable de los recursos y desarrollo de la comunidad.
Resumo:
La Integración de la Políticas Ambientales (IPA) consiste en la incorporación de los objetivos ambientales en todos los estadios de elaboración e implementación de las políticas no ambientales (o sectoriales), con un reconocimiento específico de dicho objetivo como principio director de la programación y la puesta en práctica. Se complementa con la previsión de las consecuencias ambientales mediante una evaluación de conjunto de la política con objeto de minimizar las contradicciones entre las políticas ambientales y no ambientales dando prioridad a las primeras. La naturaleza transversal de la IPA no se ajusta a la forma tradicional de gobernanza jerárquica basada en la autoridad del Estado, la diferenciación sectorial, y los instrumentos típicos de dirección y control. Por ello, no es extraño que la IPA se encuentre a menudo asociada a los llamados "nuevos modos de gobernanza". Esta tesis propone analizar empíricamente el estado de la cuestión en España con respecto a la Integración de la política ambiental , tanto a nivel estatal como autonómico (Cataluña, País Vasco), yendo más allá de los compromisos políticos a favor de un mayor grado de integración de los factores ambientales en las demás políticas. En particular, los ámbitos de investigación seleccionados para esta finalidad son el de las políticas de mitigación de las causas y los efectos del cambio climático, y las políticas de desarrollo sostenible. En términos de ‘variable independiente’ La hipótesis que se quiere comprobar es que la acción llevada a cabo por la Unión Europea ha generado profundos cambios en las estructuras de las instituciones mencionadas y en los procesos de elaboración y implementación de determinadas políticas (energía y transporte) así como en las relaciones entre sectores de la administración pública y entre el sector público y el privado.
Resumo:
This article addresses the normative dilemma located within the application of `securitization,’ as a method of understanding the social construction of threats and security policies. Securitization as a theoretical and practical undertaking is being increasingly used by scholars and practitioners. This scholarly endeavour wishes to provide those wishing to engage with securitization with an alternative application of this theory; one which is sensitive to and self-reflective of the possible normative consequences of its employment. This article argues that discussing and analyzing securitization processes have normative implications, which is understood here to be the negative securitization of a referent. The negative securitization of a referent is asserted to be carried out through the unchallenged analysis of securitization processes which have emerged through relations of exclusion and power. It then offers a critical understanding and application of securitization studies as a way of overcoming the identified normative dilemma. First, it examines how the Copenhagen School’s formation of securitization theory gives rise to a normative dilemma, which is situated in the performative and symbolic power of security as a political invocation and theoretical concept. Second, it evaluates previous attempts to overcome the normative dilemma of securitization studies, outlining the obstacles that each individual proposal faces. Third, this article argues that the normative dilemma of applying securitization can be avoided by firstly, deconstructing the institutional power of security actors and dominant security subjectivities and secondly, by addressing countering or alternative approaches to security and incorporating different security subjectivities. Examples of the securitization of international terrorism and immigration are prominent throughout.
Resumo:
La gestión de recursos en los procesadores multi-core ha ganado importancia con la evolución de las aplicaciones y arquitecturas. Pero esta gestión es muy compleja. Por ejemplo, una misma aplicación paralela ejecutada múltiples veces con los mismos datos de entrada, en un único nodo multi-core, puede tener tiempos de ejecución muy variables. Hay múltiples factores hardware y software que afectan al rendimiento. La forma en que los recursos hardware (cómputo y memoria) se asignan a los procesos o threads, posiblemente de varias aplicaciones que compiten entre sí, es fundamental para determinar este rendimiento. La diferencia entre hacer la asignación de recursos sin conocer la verdadera necesidad de la aplicación, frente a asignación con una meta específica es cada vez mayor. La mejor manera de realizar esta asignación és automáticamente, con una mínima intervención del programador. Es importante destacar, que la forma en que la aplicación se ejecuta en una arquitectura no necesariamente es la más adecuada, y esta situación puede mejorarse a través de la gestión adecuada de los recursos disponibles. Una apropiada gestión de recursos puede ofrecer ventajas tanto al desarrollador de las aplicaciones, como al entorno informático donde ésta se ejecuta, permitiendo un mayor número de aplicaciones en ejecución con la misma cantidad de recursos. Así mismo, esta gestión de recursos no requeriría introducir cambios a la aplicación, o a su estrategia operativa. A fin de proponer políticas para la gestión de los recursos, se analizó el comportamiento de aplicaciones intensivas de cómputo e intensivas de memoria. Este análisis se llevó a cabo a través del estudio de los parámetros de ubicación entre los cores, la necesidad de usar la memoria compartida, el tamaño de la carga de entrada, la distribución de los datos dentro del procesador y la granularidad de trabajo. Nuestro objetivo es identificar cómo estos parámetros influyen en la eficiencia de la ejecución, identificar cuellos de botella y proponer posibles mejoras. Otra propuesta es adaptar las estrategias ya utilizadas por el Scheduler con el fin de obtener mejores resultados.
Resumo:
En la actualidad, la computación de altas prestaciones está siendo utilizada en multitud de campos científicos donde los distintos problemas estudiados se resuelven mediante aplicaciones paralelas/distribuidas. Estas aplicaciones requieren gran capacidad de cómputo, bien sea por la complejidad de los problemas o por la necesidad de solventar situaciones en tiempo real. Por lo tanto se debe aprovechar los recursos y altas capacidades computacionales de los sistemas paralelos en los que se ejecutan estas aplicaciones con el fin de obtener un buen rendimiento. Sin embargo, lograr este rendimiento en una aplicación ejecutándose en un sistema es una dura tarea que requiere un alto grado de experiencia, especialmente cuando se trata de aplicaciones que presentan un comportamiento dinámico o cuando se usan sistemas heterogéneos. En estos casos actualmente se plantea realizar una mejora de rendimiento automática y dinámica de las aplicaciones como mejor enfoque para el análisis del rendimiento. El presente trabajo de investigación se sitúa dentro de este ámbito de estudio y su objetivo principal es sintonizar dinámicamente mediante MATE (Monitoring, Analysis and Tuning Environment) una aplicación MPI empleada en computación de altas prestaciones que siga un paradigma Master/Worker. Las técnicas de sintonización integradas en MATE han sido desarrolladas a partir del estudio de un modelo de rendimiento que refleja los cuellos de botella propios de aplicaciones situadas bajo un paradigma Master/Worker: balanceo de carga y número de workers. La ejecución de la aplicación elegida bajo el control dinámico de MATE y de la estrategia de sintonización implementada ha permitido observar la adaptación del comportamiento de dicha aplicación a las condiciones actuales del sistema donde se ejecuta, obteniendo así una mejora de su rendimiento.
Resumo:
The peace process in Northern Ireland demonstrates that new sovereignty formulas need to be explored in order to meet the demands of the populations and territories in conflict. The profound transformation of the classic symbolic elements of the nation-state within the context of the European Union has greatly contributed to the prospects for a resolution of this old conflict. Today’s discussions are focused on the search for instruments of shared sovereignty that are adapted to a complex and plural social reality. This new approach for finding a solution to the Irish conflict is particularly relevant to the Basque debate about formulating creative and modern solutions to similar conflicts over identity and sovereignty. The notion of shared sovereignty implemented in Northern Ireland –a formula for complex interdependent relations– is of significant relevance to the broader international community and is likely to become an increasingly potent and transcendent model for conflict resolution and peace building.
Resumo:
Hem establert les bases metodològiques i teòriques per investigar la pregunta “Tenen les nacions sense estat el dret de controlar el seu propi espai de comunicació?”. La investigació ajusta el concepte d’espai de comunicació a la teoria política, cercant els seus límits en els drets individuals i, des de la perspectiva del liberalisme 2, aportant la justificació del seu control en quant que plataforma que incideix en la conservació i supervivència d’una cultura nacional. El primer article i fase de la tesi és l’adaptació i definició del concepte espai de comunicació. Fins ara, la recerca ha proposat diferents models d’espai de comunicació entenent si es tracta d’una visió emfatitzant la distribució i la producció de material marcat amb els símbols de la identitat nacional de la societat emissora, o bé si emfatitza la idea d’un espai de circulació de fluxos comunicatiu ajustat a un territori tradicionalment vinculat a una identitat nacional o nació sense estat. Igualment, es distingeix la dimensió d’emissió –sortir del territori al món- i la de recepció –fluxos informatius rebuts des del món al territori, concretament, al ciutadà; el paper d’intervenció de les institucions democràtiques és diferent en una dimensió o una altra i, per tant, també són diferents els drets afectats i les teories o principis que neguen o justifiquen el control de l’espai de comunicació. També s’ha indagat en les teories sobre els efectes cognitius dels mitjans de comunicació per relacionar-los amb la construcció nacional com a cohesió simbòlica i cultural. Si bé els mitjans no poden fer canviar de pensament immediatament, sí que poden conformar a llarg termini una percepció nacional general. Una comunitat és imaginada, donada la distància física dels seus components, i la comunicació social és, juntament amb l’educació, el principal factor de construcció nacional, avui en dia.
Resumo:
El projecte "Laboratori Asssit per Ordinador Mitjançant Eines Ofimàtiques Convencionals" ha estat realitzat en la facultat de Física de la Universitat de Barcelona durant els anys 2007 i 2008 (projecte biennal). El principal objectiu d’aquest projecte és demostrar la possibilitat d’utilitzar les eines informàtiques més habituals en la realització d’experiències de laboratori assistit per ordinador (LAO). En particular, es proposa la utilització del Excel © juntament amb les seves macros (Visual Basic para Aplicacions, VBA) en pràctiques de laboratori d’assignatures en l’àrea de Física Aplicada. Excel és un full de càlcul molt conegut i usat tant per professors com pels estudiants. En aquest treball mostrem exemples concrets que abasten les diferents tècniques de control i adquisició de dades: programació del port sèrie (RS- 232) i paral·lel, i interfase GPIB. La implementació d’aquestes tècniques es realitza mitjançant macros VBA de Excel. La resta de programació de l’aplicació LAO, la representació gràfica i el tractament de les dades, es realitza de forma molt simple a partir del maneig habitual d’un full de càlcul. La realització del projecte ha demostrat la conveniència d’aquesta metodologia. Actualment pràcticament la totalitat de les pràctiques LAO de les quals és responsable el Departament de Física Aplicada utilitzen la programació a través del full de càlcul. La resposta dels estudiants ha estat molt positiva. La combinació de les característiques d’aquesta eina juntament amb la programació VBA té un enorme potencial i representa, probablement, una forma senzilla d’introduir tant a l’alumne com al professor en el món de la programació.
Resumo:
L'objectiu del projecte és possibilitar que els estudiants de la diplomatura de turisme de la UOC puguin realitzar una pràctica laboral rigorosa i realista i que permeti desenvolupar les competències bàsiques en treball en equip i transversals en sostenibilitat aplicada a les destinacions turístiques. La pràctica docent consisteix en una simulació, per a entorn virtual d'aprenentatge que emula les diferents fases del treball de consultoria turística i l’aplicació dels resultats del les tasques col·laboratives a un treball orientat a objecte. Concretament el projecte està orientat a simular un treball de camp i a dissenyar i executar un pla estratègic per a la millora d'una destinació de naturalesa. La metodologia didàctica parteix de l’organització d'un treball en equip, cosa per la qual s'espera que els estudiants puguin cooperar entre si durant les fases del projecte. Amb el projecte es pretén aconseguir dotar als estudiants de mètodes i habilitats en sostenibilitat aplicada al turisme. Així com posar en pràctica els coneixements previs obtinguts en aquesta matèria. La simulació consisteix en la implementació d’estratègies per a millorar l’ús dels recursos turístics en una destinació real espanyola (el parc Natural de la Serra d'Espadà, a la província de Castelló), així com a crear una memòria final basada en la creació d'un pla estratègic per a la implementació d'accions basades en el turisme sostenible en l’àrea d'estudi.
Resumo:
The process of on-line generation of ultrapure dialysis fluid is a core prerequisite for the safe execution of modern renal replacement therapies such as on-line hemodiafiltration and high-flux hemodialysis. In these extracorporeal treatments with variable degrees of convection, significant volumes of plasma water are removed and replaced with dialysis fluid, which must occur without causing harm to the patient. Historically, on-line generation of sterile and pyrogen-free physiological substitution fluid by the process of membrane ultrafiltration of fresh dialysis fluid has its origin in hemofiltration, a purely convective therapy. Development of this and later therapies is described in the historical context of a successful effort over decades to overcome the above formidable challenge, which was provided jointly by pioneering clinical investigators and a resourceful dialysis industry.
Resumo:
Amb la finalitat de conèixer l’estat de qualitat de les aigües de les basses i pous del Parc del Garraf, s’analitzen una sèrie de paràmetres fisico-químics en 17 estacions de mostreig prèviament seleccionades, distribuïdes en zones amb diferents tipologies d’ús del sòl. La base de l’anàlisi ha estat la integració d’informació provinent de diferents fonts. Mitjançant l’elaboració de taules i gràfics, la generació de cartografia i el tractament estadístic de les dades, s’ha procedit a la tria de punts de mostreig i s’ha obtingut un inventari que ha permès la interpretació global dels resultats, facilitant la diagnosi. El procés de tractament de dades inclou la confecció d’un índex de qualitat de les aigües (ICA) propi, no vinculant, a partir de fórmules genèriques de normalització i ponderació de valors. Durant la realització de la diagnosi s’han detectat pertorbacions puntuals en determinats paràmetres corresponents a contaminacions locals, en diferents estacions de mostreig. Aquestes pertorbacions s’han relacionat amb la situació dels pous i les basses al Garraf i les tipologies d’ús del sòl de cada zona. El diagnòstic de pertorbacions ha orientat les propostes de millora aplicables que s’han dividit en tres classes segons el nivell d’actuació. Aquestes incideixen principalment, en la millora de la informació disponible, l’aplicació de l’agricultura ecològica, l’explotació sostenible dels aqüífers i la realització d’estudis globals i/o locals, més complets i exhaustius.
Resumo:
For the execution of the scientific applications, different methods have been proposed to dynamically provide execution environments for such applications that hide the complexity of underlying distributed and heterogeneous infrastructures. Recently virtualization has emerged as a promising technology to provide such environments. Virtualization is a technology that abstracts away the details of physical hardware and provides virtualized resources for high-level scientific applications. Virtualization offers a cost-effective and flexible way to use and manage computing resources. Such an abstraction is appealing in Grid computing and Cloud computing for better matching jobs (applications) to computational resources. This work applies the virtualization concept to the Condor dynamic resource management system by using Condor Virtual Universe to harvest the existing virtual computing resources to their maximum utility. It allows existing computing resources to be dynamically provisioned at run-time by users based on application requirements instead of statically at design-time thereby lay the basis for efficient use of the available resources, thus providing way for the efficient use of the available resources.