901 resultados para Formal Methods. Component-Based Development. Competition. Model Checking


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Laminated sediments spanning the last 20,000 years (though not continuously) in the Shaban Deep, a brine-filled basin in the northern Red Sea, were analyzed microscopically and with backscattered electron imagery in order to determine laminae composition with emphasis on the diatomaceous component. Based on this detailed study, we present schematic models to propose paleoflux scenarios for laminae formation at different time-slices. The investigated core (GeoB 5836-2; 26°12.61'N, 35°21.56'E; water depth 1475 m) shows light and dark alternating laminae that are easily distinguishable in the mid-Holocene and at the end of the deglaciation (13-15 ka) period. Light layers are mainly composed of coccoliths, terrigenous material and diatom fragments, while dark layers consist almost exclusively of diatom frustules (monospecific or mixed assemblages). The regularity in the occurrence of coccolith/diatom couplets points to an annual deposition cycle where contrasting seasons and associated plankton blooms are represented (diatoms-fall/winter deposition, coccoliths-summer signal). We propose that, for the past ~15,000 years, the laminations represent two-season annual varves. Strong dissolution of carbonate, with the concomitant loss of the coccolith-rich layer in sediments older than 15 ka, prevents us from presenting a schematic model of annual deposition. However, the diatomaceous component reveals a marked switch in species composition between Last Glacial Maximum (LGM) sediments (dominated by Chaetoceros resting spores) and sediments somewhat younger (18-19 ka; dominated by Rhizosolenia). We propose that different diatom assemblages reflect changing conditions in stratification in the northern Red Sea: Strong stratification conditions, such as during two meltwater pulses at 14.5 and 11.4 ka, are reflected in the sediment by Rhizosolenia layers, while Chaetoceros-dominated assemblages represent deep convection conditions.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In Model-Driven Engineering (MDE), the developer creates a model using a language such as Unified Modeling Language (UML) or UML for Real-Time (UML-RT) and uses tools such as Papyrus or Papyrus-RT that generate code for them based on the model they create. Tracing allows developers to get insights such as which events occur and timing information into their own application as it runs. We try to add monitoring capabilities using Linux Trace Toolkit: next generation (LTTng) to models created in UML-RT using Papyrus-RT. The implementation requires changing the code generator to add tracing statements for the events that the user wants to monitor to the generated code. We also change the makefile to automate the build process and we create an Extensible Markup Language (XML) file that allows developers to view their traces visually using Trace Compass, an Eclipse-based trace viewing tool. Finally, we validate our results using three models we create and trace.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In recent years, depth cameras have been widely utilized in camera tracking for augmented and mixed reality. Many of the studies focus on the methods that generate the reference model simultaneously with the tracking and allow operation in unprepared environments. However, methods that rely on predefined CAD models have their advantages. In such methods, the measurement errors are not accumulated to the model, they are tolerant to inaccurate initialization, and the tracking is always performed directly in reference model's coordinate system. In this paper, we present a method for tracking a depth camera with existing CAD models and the Iterative Closest Point (ICP) algorithm. In our approach, we render the CAD model using the latest pose estimate and construct a point cloud from the corresponding depth map. We construct another point cloud from currently captured depth frame, and find the incremental change in the camera pose by aligning the point clouds. We utilize a GPGPU-based implementation of the ICP which efficiently uses all the depth data in the process. The method runs in real-time, it is robust for outliers, and it does not require any preprocessing of the CAD models. We evaluated the approach using the Kinect depth sensor, and compared the results to a 2D edge-based method, to a depth-based SLAM method, and to the ground truth. The results show that the approach is more stable compared to the edge-based method and it suffers less from drift compared to the depth-based SLAM.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dans cette thèse on s’intéresse à la modélisation de la dépendance entre les risques en assurance non-vie, plus particulièrement dans le cadre des méthodes de provisionnement et en tarification. On expose le contexte actuel et les enjeux liés à la modélisation de la dépendance et l’importance d’une telle approche avec l’avènement des nouvelles normes et exigences des organismes réglementaires quant à la solvabilité des compagnies d’assurances générales. Récemment, Shi et Frees (2011) suggère d’incorporer la dépendance entre deux lignes d’affaires à travers une copule bivariée qui capture la dépendance entre deux cellules équivalentes de deux triangles de développement. Nous proposons deux approches différentes pour généraliser ce modèle. La première est basée sur les copules archimédiennes hiérarchiques, et la deuxième sur les effets aléatoires et la famille de distributions bivariées Sarmanov. Nous nous intéressons dans un premier temps, au Chapitre 2, à un modèle utilisant la classe des copules archimédiennes hiérarchiques, plus précisément la famille des copules partiellement imbriquées, afin d’inclure la dépendance à l’intérieur et entre deux lignes d’affaires à travers les effets calendaires. Par la suite, on considère un modèle alternatif, issu d’une autre classe de la famille des copules archimédiennes hiérarchiques, celle des copules totalement imbriquées, afin de modéliser la dépendance entre plus de deux lignes d’affaires. Une approche avec agrégation des risques basée sur un modèle formé d’une arborescence de copules bivariées y est également explorée. Une particularité importante de l’approche décrite au Chapitre 3 est que l’inférence au niveau de la dépendance se fait à travers les rangs des résidus, afin de pallier un éventuel risque de mauvaise spécification des lois marginales et de la copule régissant la dépendance. Comme deuxième approche, on s’intéresse également à la modélisation de la dépendance à travers des effets aléatoires. Pour ce faire, on considère la famille de distributions bivariées Sarmanov qui permet une modélisation flexible à l’intérieur et entre les lignes d’affaires, à travers les effets d’années de calendrier, années d’accident et périodes de développement. Des expressions fermées de la distribution jointe, ainsi qu’une illustration empirique avec des triangles de développement sont présentées au Chapitre 4. Aussi, nous proposons un modèle avec effets aléatoires dynamiques, où l’on donne plus de poids aux années les plus récentes, et utilisons l’information de la ligne corrélée afin d’effectuer une meilleure prédiction du risque. Cette dernière approche sera étudiée au Chapitre 5, à travers une application numérique sur les nombres de réclamations, illustrant l’utilité d’un tel modèle dans le cadre de la tarification. On conclut cette thèse par un rappel sur les contributions scientifiques de cette thèse, tout en proposant des angles d’ouvertures et des possibilités d’extension de ces travaux.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

To compile data on Tourette's syndrome (TS), tics and associated disorders. METHODS: A systematic review of the literature was conducted using the 5S levels of organization of healthcare research evidence (systems, summaries, synopses, syntheses, studies), based on the model described by Haynes. The search keywords were Tourette, tics and comorbidity, which were cross-referenced. Studies provided by publishers and articles being processed on July 31, 2013, were also included. RESULTS: Of all studies retrieved during the search, 64 were selected because they analyzed the epidemiology, clinical features and etiopathogenesis of TS and its comorbidities. TS is classified as a hyperkinetic movement disorder, and at least 90% of the patients have neuropsychiatric comorbidities, of which attention deficit hyperactivity and obsessive-compulsive disorders are the most common. The syndrome is clinically heterogeneous and has been associated with a dysfunction of cortico-striatal-thalamic-cortical circuits involving various neurotransmitters. Although its genetic etiology has been widely studied, other factors may be important to understand this syndrome and its associated disorders. CONCLUSIONS: TS is a neurodevelopmental disorder that results from the impact of stress factors on a vulnerable biological substrate during the critical periods of neurodevelopment. The study of TS and its comorbidities may contribute, at different levels, to the understanding of several neuropsychiatric disorders of clinical and therapeutic relevance.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Thesis (Master's)--University of Washington, 2016-08

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Lappeenrannan teknillinen yliopisto tutkii pientasajännitesähkön käyttöä. Yliopisto on rakennuttanut Järvi-Suomen Energia Oy:n ja Suur-Savon Sähkö Oy:n kanssa yhteistyössä kokeellisen pientasajännitesähköverkon, jolla pystytään tarjoamaan kenttäolosuhteet pienjännitetutkimukselle todellisilla asiakkailla ja todentaa LVDC-teknologiaa ja muita älykkään sähköverkon toimintoja kenttäolosuhteissa. Verkon tasajänniteyhteys on rakennettu 20 kV sähkönjakeluverkon ja neljän kuluttajan välille. 20 kV keskijännite suunnataan tasamuuntamolla ±750 V pientasajännitteeksi ja uudestaan 400/230 V vaihtojännitteeksi kuluttajien läheisyydessä. Tämän kandidaatintyön tarkoituksena on luoda yliopistolle tietokanta pientasajännitesähköverkosta kertyvälle tiedolle ja mittaustuloksille. Tietokanta nähtiin tarpeelliseksi luoda, jotta pienjänniteverkon mittaustuloksia pystytään myöhemmin tarkastelemaan yhdessä ja yhtenäisessä muodossa. Yhdeksi tutkimuskysymykseksi muodostui, kuinka järjestää ja visualisoida kaikki verkosta palvelimille kertyvä mittausdata. Työssä on huomioitu myös kolme tietokantaa mahdollisesti hyödyntävää käyttäjäryhmää: kotitalousasiakkaat, sähköverkkoyhtiöt ja tutkimuslaboratorio, sekä pohdittu tietokannan hyötyä ja merkitystä näille käyttäjille. Toiseksi tutkimuskysymykseksi muodostuikin, mikä kaikesta tietokantaan talletetusta datasta olisi oleellisen tärkeää ottaa talteen näiden asiakkaiden kannalta, ja kuinka nämä voisivat hakea tietoa tietokannasta. Työn tutkimusmenetelmät perustuvat jo valmiiksi olemassa olevaan mittausdataan. Työtä varten on käytetty sekä painettua että sähköisessä muodossa olevaa kirjallisuutta. Työn tuloksena on saatu luotua tietokanta MySQL Workbench -ohjelmistolla, sekä mittausdatan keräys- ja käsittelyohjelmat Python-ohjelmointikielellä. Lisäksi on luotu erillinen MATLAB-rajapinta tiedon visualisoimista varten, jolla havainnollistetaan kolmen asiakasryhmän mittausdataa. Tietokanta ja sen tiedon visualisointi antavat kuluttajalle mahdollisuuden ymmärtää paremmin omaa sähkönkäyttöään, sekä sähköverkkoyhtiöille ja tutkimuslaboratorioille muun muassa tietoa sähkön laadusta ja verkon kuormituksesta.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

With the need of the companies in becoming more competitive within the market, it arises an incessant search for selective human potential, with a high level of capacity and low rotativity, which motivation results in production raise, quality optimization and waste reduction. This scenario requires a strategy development which advantages the Human Resources Quality Management. This way, the model of the Human System Audit (HSA), developed by the Spanish researchers Ouijano and Navarro, presents itself as an important tool to diagnosis and evaluation, contemplating the environment where the organization is inserted, its strategies, its organizational design, its processes and its organizational effectiveness. In this sense, the present study has identified the existent relation between the professional satisfaction and the Organizational Culture, based in the model HSA. The research has been a quantitative-descriptive one and has had as population the technical-administrative workers from the Federal Center of Technical Education of Rio Grande do Norte (CEFET RN). The data collection has occurred during May, 2008, by means of the application of a questionnaire in the HSA model. The sample was composed by 167 subjects, distributed among the Five units of the institution. It was used the factorial analysis, with the extraction method of main components and orthogonal rotation varimax, in order to extract the dimensions of the satisfaction and of the organizational culture and the calculation of Cronbach s Alpha coefficient, to evaluate the reliability of these dimensions. The factorial analysis of the satisfaction indicators has identified four factors,, all of them showing significance: gratefulness and relationship , self-realization , stability and security and physical conditions and social benefits . The result of the factorial analysis with the indicators of the organizational culture has extracted four factors and among them, three of them have obtained significance: Personal Satisfaction Style , Competitive-Denial-Power Style and the Conventional-Dependent Style . After identifying the dimensions of the satisfaction and culture found at CEFET-RN, it has been notice the existence or not of relation among them, through the application of Pearson s coefficient. It has been verified that all of the dimensions of the Professional satisfaction are correlated with some dimension of the organizational culture, having in outstand position, with higher intensity, the relation between the culture style of Personal Satisfaction and the satisfaction factor referring to the self-realization

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work involves the organization and content perspectives on Enterprise Content Management (ECM) framework. The case study at the Federal University of Rio Grande do Norte was based on ECM model to analyse the information management provided by the three main administrative systems: The Integrated Management of Academic Activities (SIGAA), Integrated System of Inheritance, and Contracts Administration (SIPAC) and the Integrated System for Administration and Human Resources (SIGRH). A case study protocol was designed to provide greater reliability to research process. Four propositions were examined in order to reach the specific objectives of identification and evaluation of ECM components from UFRN perspective. The preliminary phase provided the guidelines for the data collection. In total, 75 individuals were interviewed. Interviews with four managers directly involved on systems design were recorded (average duration of 90 minutes). The 70 remaining individuals were approached in random way in UFRN s units, including teachers, administrative-technical employees and students. The results showed the presence of many ECM elements in the management of UFRN administrative information. The technological component with higher presence was "management of web content / collaboration". But initiatives of other components (e.g. email and document management) were found and are in continuous improvement. The assessment made use of eQual 4.0 to examine the effectiveness of applications under three factors: usability, quality of information and offered service. In general, the quality offered by the systems was very good and walk side by side with the obtained benefits of ECM strategy adoption in the context of the whole institution

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Thesis (Ph.D.)--University of Washington, 2016-08

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Résumé : L’entrainement sportif est « un processus de perfectionnement de l’athlète dirigé selon des principes scientifiques et qui, par des influences planifiées et systématiques (charges) sur la capacité de performance, vise à mener le sportif vers des performances élevées et supérieures dans un sport ou une discipline sportive » (Harre, 1982). Un entrainement sportif approprié devrait commencer dès l’enfance. Ainsi, le jeune sportif pourrait progressivement et systématiquement développer son corps et son esprit afin d’atteindre l’excellence sportive (Bompa, 2000; Weineck, 1997). Or plusieurs entraineurs, dans leur tentative de parvenir à des résultats de haut niveau rapidement, exposent les jeunes athlètes à une formation sportive très spécifique et rigoureuse, sans prendre le temps de développer convenablement les aptitudes physiques et motrices et les habiletés motrices fondamentales sous-jacentes aux habiletés sportives spécifiques (Bompa, 2000), d’où l’appellation « spécialisation hâtive ». Afin de contrer les conséquences néfastes de la spécialisation hâtive, de nouvelles approches d’entrainement ont été proposées. Une des façons d’y arriver consisterait notamment à pratiquer différents sports en bas âge (Fraser-Thomas, Côté et Deakin, 2008; Gould et Carson, 2004; Judge et Gilreath, 2009; LeBlanc et Dickson, 1997; Mostafavifar, Best et Myer, 2013), d’où l’appellation « diversification sportive ». Plusieurs organisations sportives et professionnelles ont décidé de valoriser et de mettre en place des programmes basés sur la diversification sportive (Kaleth et Mikesky, 2010). C’est donc à la suite d’une prise de conscience des effets néfastes de la spécialisation hâtive que des professionnels de l’activité physique d’une école secondaire du Québec (éducateur physique, kinésiologue et agent de développement sportif) ont mis en place un programme multisports-études novateur au premier cycle du secondaire, inspiré des sciences du sport et des lignes directrices du modèle de développement à long terme de l’athlète (DLTA) (Balyi, Cardinal, Higgs, Norris et Way, 2005). Le présent projet de recherche porte sur le développement des aptitudes physiques et motrices chez de jeunes sportifs inscrits à un programme de spécialisation sportive et de jeunes sportifs inscrits à un programme de diversification sportive à l’étape « S’entrainer à s’entrainer » (12 à 16 ans) du modèle de développement à long terme de l’athlète (Balyi et al., 2005). L’objectif principal de cette étude est de rendre compte de l’évolution des aptitudes physiques et motrices de jeunes élèves-athlètes inscrits, d’une part, à un programme sport-études soccer (spécialisation) et, d’autre part, à un programme multisports-études (diversification). Plus spécifiquement, cette étude tente de (a) dresser un portrait détaillé de l’évolution des aptitudes physiques et motrices des élèves-athlètes de chaque programme et de faire un parallèle avec la planification annuelle de chaque programme sportif et (b) de rendre compte des différences d’aptitudes physiques et motrices observées entre les deux programmes. Le projet de recherche a été réalisé dans une école secondaire de la province de Québec. Au total, 53 élèves-athlètes de première secondaire ont été retenus pour le projet de recherche selon leur volonté de participer à l’étude, soit 23 élèves-athlètes de première secondaire inscrits au programme sport-études soccer et 30 élèves-athlètes de première secondaire inscrits au programme multisports-études. Les élèves-athlètes étaient tous âgés de 11 à 13 ans. Treize épreuves standardisées d’aptitudes physiques et motrices ont été administrées aux élèves-athlètes des deux programmes sportifs en début, en milieu et en fin d’année scolaire. Le traitement des données s’est effectué à l’aide de statistiques descriptives et d’une analyse de variance à mesures répétées. Les résultats révèlent que (a) l’ensemble des aptitudes physiques et motrices des élèves-athlètes des deux programmes sportifs se sont améliorées au cours de l’année scolaire, (b) il est relativement facile de faire un parallèle entre l’évolution des aptitudes physiques et motrices des élèves-athlètes et la planification annuelle de chaque programme sportif, (c) les élèves-athlètes du programme multisports-études ont, en général, des performances semblables à celles des élèves-athlètes du programme sport-études soccer et (d) les élèves-athlètes du programme sport-études soccer ont, au cours de l’année scolaire, amélioré davantage leur endurance cardiorespiratoire, alors que ceux du programme multisports-études ont amélioré davantage (a) leur vitesse segmentaire des bras, (b) leur agilité à l’épreuve de course en cercle et (c) leur puissance musculaire des membres inférieurs, confirmant ainsi que les aptitudes physiques et motrices développées chez de jeunes athlètes qui se spécialisent tôt sont plutôt spécifiques au sport pratiqué (Balyi et al., 2005; Bompa, 1999; Cloes, Delfosse, Ledent et Piéron, 1994; Mattson et Richards, 2010), alors que celles développées à travers la diversification sportive sont davantage diversifiées (Coakley, 2010; Gould et Carson, 2004; White et Oatman, 2009). Ces résultats peuvent s’expliquer par (a) la spécificité ou la diversité des tâches proposées durant les séances d’entrainement, (b) le temps consacré à chacune de ces tâches et (c) les exigences reliées à la pratique du soccer comparativement aux exigences reliées à la pratique de plusieurs disciplines sportives. Toutefois, les résultats obtenus restent complexes à interpréter en raison de différents biais : (a) la maturation physique, (b) le nombre d’heures d’entrainement effectué au cours de l’année scolaire précédente, (c) le nombre d’heures d’entrainement offert par les deux programmes sportifs à l’étude et (d) les activités physiques et sportives pratiquées à l’extérieur de l’école. De plus, cette étude ne permet pas d’évaluer la qualité des interventions et des exercices proposés lors des entrainements ni la motivation des élèves-athlètes à prendre part aux séances d’entrainement ou aux épreuves physiques et motrices. Finalement, il serait intéressant de reprendre la présente étude auprès de disciplines sportives différentes et de mettre en évidence les contributions particulières de chaque discipline sportive sur le développement des aptitudes physiques et motrices de jeunes athlètes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Les leucémies aigues sont la conséquence d’une prolifération clonale et maligne des cellules hématopoïétiques. Elles surviennent suite à un évènement oncogénique qui se produit dans une cellule souche hématopoïétique (CSH) ou progénitrice. Cela lui confère une certaine instabilité qui engendre l’accumulation d’autres évènements génétiques et/ou épigénétiques responsables du développement clinique de la maladie. Les leucémies MLL représentent environ 10% des leucémies aigues et aujourd’hui, plus de 70 gènes de fusion ont été caractérisés. Les sangs de cordon sont une source importante de CSH et progénitrices. La purification de ces cellules et leur transformation en cellules leucémiques à l’aide de gènes de fusion MLL nous permettent de générer des leucémies aigues humaines dans des souris immunodéficientes NSG et ainsi étudier le potentiel leucémique de différents gènes de fusion MLL. Dans un premier temps, 4 gènes de fusion MLL ont été étudiés : MLL-AF9, MLL-AF4, MLL-ENL et MLL-ELL. In vitro, nous sommes capables de transformer des CSH en cellules leucémiques capables de proliférer rapidement. Les résultats in vivo nous montrent qu’il est possible de générer des leucémies avec les oncogènes MLL-AF9 et MLL-ENL. Pour les fusions MLL-ELL et MLL-AF4, bien que quelques leucémies ont pu être obtenues, plusieurs problèmes techniques nous empêchent aujourd’hui de disposer d’un modèle adéquat permettant l’étude complète de ces oncogènes. Dans un second temps, les leucémies aigues MLL-AF9 ont été étudiées dans un modèle contrôlé où les cellules souches proviennent d’un donneur unique. Grâce à ce modèle, nous avons pu démontrer que l’oncogène MLL-AF9 est suffisant pour induire le développement de la maladie. En effet aucune nouvelle mutation n’a pu être identifiée au cours du développement de la leucémie. Parmi les leucémies myéloïdes aigues (LMA) MLL-AF9 issues de ce modèle, certains gènes non mutés, dont RET, ont été identifiés comme étant de potentiels biomarqueurs de ce sous-groupe de leucémie.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The mobile networks market (focus of this work) strategy is based on the consolidation of the installed structure and the optimization of the already existent resources. The increasingly competition and aggression of this market requires, to the mobile operators, a continuous maintenance and update of the networks in order to obtain the minimum number of fails and provide the best experience for its subscribers. In this context, this dissertation presents a study aiming to assist the mobile operators improving future network modifications. In overview, this dissertation compares several forecasting methods (mostly based on time series analysis) capable of support mobile operators with their network planning. Moreover, it presents several network indicators about the more common bottlenecks.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

To compile data on Tourette's syndrome (TS), tics and associated disorders. METHODS: A systematic review of the literature was conducted using the 5S levels of organization of healthcare research evidence (systems, summaries, synopses, syntheses, studies), based on the model described by Haynes. The search keywords were Tourette, tics and comorbidity, which were cross-referenced. Studies provided by publishers and articles being processed on July 31, 2013, were also included. RESULTS: Of all studies retrieved during the search, 64 were selected because they analyzed the epidemiology, clinical features and etiopathogenesis of TS and its comorbidities. TS is classified as a hyperkinetic movement disorder, and at least 90% of the patients have neuropsychiatric comorbidities, of which attention deficit hyperactivity and obsessive-compulsive disorders are the most common. The syndrome is clinically heterogeneous and has been associated with a dysfunction of cortico-striatal-thalamic-cortical circuits involving various neurotransmitters. Although its genetic etiology has been widely studied, other factors may be important to understand this syndrome and its associated disorders. CONCLUSIONS: TS is a neurodevelopmental disorder that results from the impact of stress factors on a vulnerable biological substrate during the critical periods of neurodevelopment. The study of TS and its comorbidities may contribute, at different levels, to the understanding of several neuropsychiatric disorders of clinical and therapeutic relevance.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Processors with large numbers of cores are becoming commonplace. In order to utilise the available resources in such systems, the programming paradigm has to move towards increased parallelism. However, increased parallelism does not necessarily lead to better performance. Parallel programming models have to provide not only flexible ways of defining parallel tasks, but also efficient methods to manage the created tasks. Moreover, in a general-purpose system, applications residing in the system compete for the shared resources. Thread and task scheduling in such a multiprogrammed multithreaded environment is a significant challenge. In this thesis, we introduce a new task-based parallel reduction model, called the Glasgow Parallel Reduction Machine (GPRM). Our main objective is to provide high performance while maintaining ease of programming. GPRM supports native parallelism; it provides a modular way of expressing parallel tasks and the communication patterns between them. Compiling a GPRM program results in an Intermediate Representation (IR) containing useful information about tasks, their dependencies, as well as the initial mapping information. This compile-time information helps reduce the overhead of runtime task scheduling and is key to high performance. Generally speaking, the granularity and the number of tasks are major factors in achieving high performance. These factors are even more important in the case of GPRM, as it is highly dependent on tasks, rather than threads. We use three basic benchmarks to provide a detailed comparison of GPRM with Intel OpenMP, Cilk Plus, and Threading Building Blocks (TBB) on the Intel Xeon Phi, and with GNU OpenMP on the Tilera TILEPro64. GPRM shows superior performance in almost all cases, only by controlling the number of tasks. GPRM also provides a low-overhead mechanism, called “Global Sharing”, which improves performance in multiprogramming situations. We use OpenMP, as the most popular model for shared-memory parallel programming as the main GPRM competitor for solving three well-known problems on both platforms: LU factorisation of Sparse Matrices, Image Convolution, and Linked List Processing. We focus on proposing solutions that best fit into the GPRM’s model of execution. GPRM outperforms OpenMP in all cases on the TILEPro64. On the Xeon Phi, our solution for the LU Factorisation results in notable performance improvement for sparse matrices with large numbers of small blocks. We investigate the overhead of GPRM’s task creation and distribution for very short computations using the Image Convolution benchmark. We show that this overhead can be mitigated by combining smaller tasks into larger ones. As a result, GPRM can outperform OpenMP for convolving large 2D matrices on the Xeon Phi. Finally, we demonstrate that our parallel worksharing construct provides an efficient solution for Linked List processing and performs better than OpenMP implementations on the Xeon Phi. The results are very promising, as they verify that our parallel programming framework for manycore processors is flexible and scalable, and can provide high performance without sacrificing productivity.