Добірка наукової літератури з теми "Chaîne de compilation"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Chaîne de compilation".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Chaîne de compilation":

1

Bennas, Nard, and Carmen Elisa Sàinz-Cantero. "Coléoptères aquatiques Adephaga de la chaîne rifaine marocaine (Coleoptera Gyrinidae, Haliplidae, Noteridae, Hygrobiidae, Dytiscidae)." Memorie della Società Entomologica Italiana 85, no. 1 (June 30, 2006): 31. http://dx.doi.org/10.4081/memoriesei.2006.31.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Une étude sur 4041 individus adultes de Coléoptères aquatiques Adephaga récoltés dans diverses localités de la chaîne rifaine marocaine a permis l’identification de 61 espèces dont une (<em>Hydroporus memnonius</em>) s’avère nouvelle pour le Maroc et 6 pour le territoire rifain. Les données obtenues lors des prospections et la compilation des citations bibliographiques concernant ce groupe d’insectes, ont permis la réalisation de l’inventaire des 81 espèces connues jusqu’à présent pour les neuf provinces faisant partie du Rif.
2

Mas, Élodie. "Las evidencias de producción en material malacológico: análisis tecnológico de las colecciones de Sayula (Jalisco)." Revista Trace, no. 76 (July 31, 2019): 167. http://dx.doi.org/10.22134/trace.76.2019.129.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Durante el periodo comprendido entre 450 y 1000 d.C., las conchas marinas desempeñan un papel fundamental en las dinámicas socioeconómicas y culturales de las poblaciones asentadas en la región de la cuenca de Sayula. El material malacológico asociado a este periodo ofrece datos inéditos por contar con numerosas evidencias de producción que reflejan una manufactura local de ornamentos de concha. Esta investigación se presenta como una guía metodológica, enfocada al análisis de huellas técnicas, que permite clasificar cada pieza según su grado de transformación y determinar su lugar en la cadena operativa. Finalmente, más allá de la recopilación de datos primarios se obtiene un acercamiento a los comportamientos técnicos de los artesanos prehispánicos.Abstract: During the period from 450 to 1000 A.D. marine shells play an essential role in the socio-economic and cultural dynamics of the populations settled in the region of the Sayula basin. The malacological material associated with this period offers unknown data, since it has many evidences of production that reveal the local manufacture of seashell ornaments. This research is presented as a methodological guide, focused on the analysis of technical traces, in order to classify each object according to its degree of transformation and determine its place in the operative chain. Additionally, besides the compilation of primary data, we can get to know the technical behavior of pre-Columbian artisans.Résumé : Durant la période comprise entre 450 et 1000 apr. J.-C., les coquillages jouent un rôle fondamental dans les dynamiques socio-économiques et culturelles des populations du bassin de Sayula. Les matériaux malacologiques associés à cette période fournissent des données inédites et des indices probants de l’existence d’une activité de manufacture locale d’ornements en coquillage. Cet article se présente comme un guide méthodologique centré sur l’analyse des traces techniques permettant de classer chaque pièce en fonction de son degré de transformation et de déterminer sa position au sein de la chaîne opératoire. Enfin, au-delà d’une compilation des données primaires, notre recherche propose une approche des comportements techniques des artisans de l’époque préhispanique.
3

Jovanovic, S., and S. Weber. "Modélisation SystemC-TLM de systèmes à base de processeur." J3eA 18 (2019): 1009. http://dx.doi.org/10.1051/j3ea/20191009.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Nous présentons un ensemble de travaux pratiques qui seront dispensés au sein du Master EEA - Électronique Embarquée à l'université de Lorraine dans le cadre du module « Modélisation SystemC ». Ces TP sont destinés à initier les étudiants à la modélisation de systèmes et circuits numériques en SystemC-TLM et sont organisés autour de la suite logicielle open source Eclipse et de la chaine de compilation gcc pour la simulation, test et vérification.
4

Prado, L. F., I. Wainer, C. M. Chiessi, M. P. Ledru, and B. Turcq. "Mid-Holocene climate reconstruction for eastern South America." Climate of the Past Discussions 8, no. 6 (November 29, 2012): 5925–61. http://dx.doi.org/10.5194/cpd-8-5925-2012.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract. The Mid-Holocene (6 ka BP) is a key period to the study of climate, since it presented lower than present incoming summer insolation in the Southern Hemisphere, and the opposite in the Northern Hemisphere. This happened due to a different than present configuration of the orbital parameters. To investigate the effects of insolation on the Mid-Holocene climate, some global and regional multiproxy palaeodata compilations have been elaborated. However, few global studies have focused on the Southern Hemisphere, and none of the regional ones have characterized the Mid-Holocene climate in South America through a multiproxy approach. Here we present the first multiproxy compilation to the Mid-Holocene climate in eastern South America. We have compiled 120 palaeoclimatological data, published in 84 different papers. The palaeodata analyzed suggest a water deficit scenario in great part of eastern South America during Mid-Holocene, except for Northeastern Brazil. Nonetheless, further sampling is mandatory in South America and in the adjacent ocean basins.
5

Suhaciov, Nikolaj, and Svetlana Kokoškina. "La géographie linguistique en Union soviétique : les atlas linguistiques." Cahiers du Centre de Linguistique et des Sciences du Langage, no. 40 (October 12, 2014): 131–54. http://dx.doi.org/10.26034/la.cdclsl.2014.677.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Cet article aborde l’évolution de la recherche dialectologique en Union soviétique dès les origines jusqu’aux années 1980. Il suit en détail les principes et les méthodes de compilation des atlas linguistiques sur le matériau des langues slaves. Deux écoles de géographie linguistique, leningradoise et moscovite, ont coexisté et développé chacune une approche originale du matériau linguistique. Les auteurs cherchent à décrypter les principes linguistiques adoptés, les visées des auteurs des atlas, et, surtout, les zones décrites.
6

Peterson, Carlye D., та Lorraine E. Lisiecki. "Deglacial carbon cycle changes observed in a compilation of 127 benthic <i>δ</i><sup>13</sup>C time series (20–6 ka)". Climate of the Past 14, № 8 (16 серпня 2018): 1229–52. http://dx.doi.org/10.5194/cp-14-1229-2018.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract. We present a compilation of 127 time series δ13C records from Cibicides wuellerstorfi spanning the last deglaciation (20–6 ka) which is well-suited for reconstructing large-scale carbon cycle changes, especially for comparison with isotope-enabled carbon cycle models. The age models for the δ13C records are derived from regional planktic radiocarbon compilations (Stern and Lisiecki, 2014). The δ13C records were stacked in nine different regions and then combined using volume-weighted averages to create intermediate, deep, and global δ13C stacks. These benthic δ13C stacks are used to reconstruct changes in the size of the terrestrial biosphere and deep ocean carbon storage. The timing of change in global mean δ13C is interpreted to indicate terrestrial biosphere expansion from 19–6 ka. The δ13C gradient between the intermediate and deep ocean, which we interpret as a proxy for deep ocean carbon storage, matches the pattern of atmospheric CO2 change observed in ice core records. The presence of signals associated with the terrestrial biosphere and atmospheric CO2 indicates that the compiled δ13C records have sufficient spatial coverage and time resolution to accurately reconstruct large-scale carbon cycle changes during the glacial termination.
7

Christiansen, B., and F. C. Ljungqvist. "The extra-tropical Northern Hemisphere temperature in the last two millennia: reconstructions of low-frequency variability." Climate of the Past 8, no. 2 (April 18, 2012): 765–86. http://dx.doi.org/10.5194/cp-8-765-2012.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract. We present two new multi-proxy reconstructions of the extra-tropical Northern Hemisphere (30–90° N) mean temperature: a two-millennia long reconstruction reaching back to 1 AD and a 500-yr long reconstruction reaching back to 1500 AD. The reconstructions are based on compilations of 32 and 91 proxies, respectively, of which only little more than half pass a screening procedure and are included in the actual reconstructions. The proxies are of different types and of different resolutions (annual, annual-to-decadal, and decadal) but all have previously been shown to relate to local or regional temperature. We use a reconstruction method, LOCal (LOC), that recently has been shown to confidently reproduce low-frequency variability. Confidence intervals are obtained by an ensemble pseudo-proxy method that both estimates the variance and the bias of the reconstructions. The two-millennia long reconstruction shows a well defined Medieval Warm Period, with a peak warming ca. 950–1050 AD reaching 0.6 °C relative to the reference period 1880–1960 AD. The 500-yr long reconstruction confirms previous results obtained with the LOC method applied to a smaller proxy compilation; in particular it shows the Little Ice Age cumulating in 1580–1720 AD with a temperature minimum of −1.0 °C below the reference period. The reconstructed local temperatures, the magnitude of which are subject to wide confidence intervals, show a rather geographically homogeneous Little Ice Age, while more geographical inhomogeneities are found for the Medieval Warm Period. Reconstructions based on different subsets of proxies show only small differences, suggesting that LOC reconstructs 50-yr smoothed extra-tropical NH mean temperatures well and that low-frequency noise in the proxies is a relatively small problem.
8

Albani, S., N. M. Mahowald, G. Winckler, R. F. Anderson, L. I. Bradtmiller, B. Delmonte, R. François, et al. "Twelve thousand years of dust: the Holocene global dust cycle constrained by natural archives." Climate of the Past Discussions 10, no. 6 (November 13, 2014): 4277–363. http://dx.doi.org/10.5194/cpd-10-4277-2014.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract. Mineral dust plays an important role in the climate system by interacting with radiation, clouds, and biogeochemical cycles. In addition, natural archives show that the dust cycle experienced variability in the past in response to global and local climate change. The compilation of the DIRTMAP paleodust datasets in the last two decades provided a target for paleoclimate models that include the dust cycle, following a time slice approach. We propose an innovative framework to organize a paleodust dataset that moves on from the positive experience of DIRTMAP and takes into account new scientific challenges, by providing a concise and accessible dataset of temporally resolved records of dust mass accumulation rates and particle grain-size distributions. We consider data from ice cores, marine sediments, loess/paleosol sequences, lake sediments, and peat bogs for this compilation, with a temporal focus on the Holocene period. This global compilation allows investigation of the potential, uncertainties and confidence level of dust mass accumulation rates reconstructions, and highlights the importance of dust particle size information for accurate and quantitative reconstructions of the dust cycle. After applying criteria that help to establish that the data considered represent changes in dust deposition, 43 paleodust records have been identified, with the highest density of dust deposition data occurring in the North Atlantic region. Although the temporal evolution of dust in the North Atlantic appears consistent across several cores and suggest that minimum dust fluxes are likely observed during the Early to mid-Holocene period (6000–8000 years ago), the magnitude of dust fluxes in these observations is not fully consistent, suggesting that more work needs to be done to synthesize datasets for the Holocene. Based on the data compilation, we used the Community Earth System Model to estimate the mass balance and variability of the global dust cycle during the Holocene, with dust load ranging from 17.1 to 20.5 Tg between 2000 and 10 000 years ago, and a minimum in the Early to Mid-Holocene (6000–8000 years ago).
9

Albani, S., N. M. Mahowald, G. Winckler, R. F. Anderson, L. I. Bradtmiller, B. Delmonte, R. François, et al. "Twelve thousand years of dust: the Holocene global dust cycle constrained by natural archives." Climate of the Past 11, no. 6 (June 11, 2015): 869–903. http://dx.doi.org/10.5194/cp-11-869-2015.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract. Mineral dust plays an important role in the climate system by interacting with radiation, clouds, and biogeochemical cycles. In addition, natural archives show that the dust cycle experienced variability in the past in response to global and local climate change. The compilation of the DIRTMAP (Dust Indicators and Records from Terrestrial and MArine Palaeoenvironments) paleodust data sets in the last 2 decades provided a benchmark for paleoclimate models that include the dust cycle, following a time slice approach. We propose an innovative framework to organize a paleodust data set that builds on the positive experience of DIRTMAP and takes into account new scientific challenges by providing a concise and accessible data set of temporally resolved records of dust mass accumulation rates and particle grain size distributions. We consider data from ice cores, marine sediments, loess–paleosol sequences, lake sediments, and peat bogs for this compilation, with a temporal focus on the Holocene period. This global compilation allows the investigation of the potential, uncertainties, and confidence level of dust mass accumulation rate reconstructions and highlights the importance of dust particle size information for accurate and quantitative reconstructions of the dust cycle. After applying criteria that help to establish that the data considered represent changes in dust deposition, 45 paleodust records have been identified, with the highest density of dust deposition data occurring in the North Atlantic region. Although the temporal evolution of dust in the North Atlantic appears consistent across several cores and suggests that minimum dust fluxes are likely observed during the early to mid-Holocene period (6000–8000 years ago), the magnitude of dust fluxes in these observations is not fully consistent, suggesting that more work needs to be done to synthesize data sets for the Holocene. Based on the data compilation, we used the Community Earth System Model to estimate the mass balance of and variability in the global dust cycle during the Holocene, with dust loads ranging from 17.2 to 20.8 Tg between 2000 and 10 000 years ago and with a minimum in the early to mid-Holocene (6000–8000 years ago).
10

Nieto Masot, Ana, and José Luis Gurría Gascón. "Sustainable Rural Development: Strategies, Good Practices and Opportunities (Second Edition)." Land 13, no. 1 (January 17, 2024): 104. http://dx.doi.org/10.3390/land13010104.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
In 2021, a book entitled “Sustainable Rural Development: Strategies, Good Practices and Opportunities” was launched as a compilation of 16 papers and published in a Special Issue of the journal Land [...]

Дисертації з теми "Chaîne de compilation":

1

Trieu, Alix. "Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée." Thesis, Rennes 1, 2018. http://www.theses.fr/2018REN1S099/document.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les attaques par canaux cachés sont une forme d'attaque particulièrement dangereuse. Dans cette thèse, nous nous intéressons au canal caché temporel. Un programme est dit ''constant-time'' lorsqu'il n'est pas vulnérable aux attaques par canal caché temporel. Nous présentons dans ce manuscrit deux méthodes reposant sur l'analyse statique afin de s'assurer qu'un programme est constant-time. Ces méthodes se placent dans le cadre de vérification formelle afin d'obtenir le plus haut niveau d'assurance possible en s'appuyant sur une chaîne de compilation vérifiée composée du compilateur CompCert et de l'analyseur statique Verasco. Nous proposons aussi une méthode de preuve afin de s'assurer qu'un compilateur préserve la propriété de constant-time lors de la compilation d'un programme
Side-channel attacks are an especially dangerous form of attack. In this thesis, we focus on the timing side-channel. A program is said to be constant-time if it is not vulnerable to timing attacks. We present in this thesis two methods relying on static analysis in order to ensure that a program is constant-time. These methods use formal verification in order to gain the highest possible level of assurance by relying on a verified compilation toolchain made up of the CompCert compiler and the Verasco static analyzer. We also propose a proof methodology in order to ensure that a compiler preserves constant-time security during compilation
2

Borgna, Agustín. "Vers une formalisation d'une chaîne de compilation pour un ordinateur quantique." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0016.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
L'avènement des ordinateurs quantiques capables de résoudre des problèmes irréalisables sur des ordinateurs classiques a motivé le développement de nouveaux langages et outils de programmation pour l'informatique quantique. Cependant, l'état de l'art actuel en matière de programmation quantique n'en est qu'à ses débuts. Dans cette thèse, nous présentons une série d'approches novatrices de différents aspects du processus de compilation quantique basé sur le calcul ZX. Tout d'abord, nous introduisons une nouvelle représentation intermédiaire pour les programmes quantiques capable d'encoder la récursion bornée et les structures de circuits répétés de manière compacte, basée sur les familles de l'extension Scalable du calcul ZX. Nous présentons ensuite un algorithme de compilation pour les circuits hybrides contenant à la fois des portes quantiques et classiques, basé sur l'optimisation de circuits purs de Duncan et al. Enfin, nous définissons le problème de la détection des sections de circuits quantiques qui peuvent être traduites en logique classique, et nous introduisons un algorithme heuristique pour le résoudre
The advent of quantum computers capable of solving problems that are untractable on classical computers has motivated the development of new programming languages and tools for quantum computing. However, the current state of the art in quantum programming is still in its infancy. In this thesis, we present a series of novel approaches to different aspects of the quantum compilation process based on the ZX calculus. First, we introduce a new intermediate representation for quantum programs capable of encoding bounded recursion and repeated circuit structures in a compact way, based on families of the Scalable extension to the ZX calculus. We then present a compilation algorithm for hybrid circuits containing both quantum and classical gates, based on the pure circuit optimization by Duncan et al. Finally, we define the problem of detecting sections of a quantum circuit that can translated to classical logic, and introduce an heuristic algorithm to solve it
3

Benoit, Tristan. "Cartographie des programmes et de leurs interrelations." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0320.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Dans le domaine du génie logiciel, assurer la qualité et la sûreté des logiciels est complexe. Ce contexte est dû à un ensemble de facteurs, notamment l'utilisation croissante de bibliothèques et le recours à des pratiques comme la copie de codes à partir de services en ligne. Une réponse courante à cette problématique est l'application de méthodes formelles de validation des programmes avant leur diffusion. Cette approche, cependant, requiert une compréhension précise des enjeux à vérifier et un haut degré d'expertise. Cette thèse introduit des méthodes innovantes de rétro-ingénierie pour collecter automatiquement des informations sur l'origine d'un programme et pour identifier des clones de programmes au sein de larges jeux de données. Notre première contribution est le nouveau modèle de réseau de neurones Site Neural Network (SNN) qui prédit la chaîne de compilation utilisée pour produire un programme entier. SNN offre une grande rapidité ainsi qu'une bonne précision. Sa modularité grâce à l'utilisation de hiérarchies de classificateurs permet de considérer facilement des chaînes de compilation supplémentaires. Notre seconde contribution est Program Spectral Similarity (PSS), un outil qui fournit un moyen rapide et efficace de détecter des clones de programmes, même quand leur architecture matérielle visée diffère ou en cas d'offuscation. Contrairement aux méthodes basées sur les fonctions binaires ou sur la distance d'édition des graphes, qui sont chronophages et peu robustes, PSS s'appuie sur l'analyse spectrale de graphes pour mesurer la similarité entre programmes. Cette thèse participe ainsi à renforcer la sécurité des systèmes en mettant à disposition des outils pour identifier rapidement les clones de programmes malveillants. En outre, elle apporte un soutien à l'investigation numérique en donnant des informations pertinentes sur la chaîne de compilation. Ce travail ouvre la voie à de nouveaux réseaux de neurones spécialisés pour les programmes, ainsi qu'au développement de méthodes d'analyse spectrale pour l'étude de la similarité des codes binaires
In the field of software engineering, ensuring the quality and security of software is complex. This context is due to a set of factors, notably the increasing use of libraries and the use of practices such as copying codes from online services. The usual solution to this problem is the application of formal methods for program validation before their release. However, this approach requires a precise specification and a high degree of expertise. This thesis introduces new reverse engineering methods to automatically collect information about a program toolchain provenance and identify program clones within large data repositories. Our first contribution is the innovative neural network model Site Neural Network (SNN), which predicts the compilation toolchain used to produce an entire program. SNN offers excellent speed as well as good accuracy. Its modularity due to the use of hierarchies of classifiers allows for easy consideration of additional toolchains. Our second contribution is the Program Spectral Similarity (PSS), a tool that provides a quick and efficient way to detect program clones, even when their target hardware architecture differs or in the case of obfuscation. Unlike binary function-based methods or graph edit distance methods, which are time-consuming and low resilient, PSS relies on the spectral analysis of graphs to measure the similarity between programs. This thesis thus contributes to cyber security by providing tools to identify malware clones quickly. In addition, it supports computer forensics by providing relevant information on the compilation chain. This work paves the way for new neural networks for programs, as well as the development of spectral graph analysis methods for studying binary code similarity
4

Szlifierski, Nicolas. "Contrôle sûr de chaînes d'obfuscation logicielle." Thesis, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire, 2020. http://www.theses.fr/2020IMTA0223.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
L’obfuscation de code est une technique de protection de programme qui consiste à rendre la rétro-ingénierie d’un programme plus difficile, afin de protéger des secrets, de la propriété intellectuelle, ou de compliquer la détection (malware). L’obfuscation est généralement effectuée à l’aide d’un ensemble de transformations sur le programme cible. L’obfuscation est également souvent utilisée en conjonction avec d’autres techniques de protection de programmes telles que le watermarking ou le tamperproofing. Ces transformations sont généralement intégrées dans les transformations de code appliquées pendant le processus de compilation, comme les optimisations. Cependant, appliquer des transformations d’obfuscation demande plus de préconditions sur le code et de précisions dans l’application pour offrir un compromis performance/sécurité acceptable ce qui rend les compilateurs traditionnels peu adaptés à l’obfuscation. Pour répondre à ces problèmes, cette thèse propose SCOL, un langage qui permet de décrire le processus de compilation d’un programme en prenant en compte les problématiques spécifiques à l’obfuscation. Celui-ci permet de décrire des chaînes de compilation avec un haut niveau d’abstraction, tout en permettant une précision élevée sur la composition des transformations. Le langage possède un système de types qui permet de vérifier la cohérence de la chaîne de compilation. C’est-à-dire que vérifier que la composition des transformations permet d’obtenir le niveau de protection et de couverture visé
Code obfuscation is a software protection technique that is designed to make reverse engineering a program more challenging, in order to protect secrets, intellectual property, or to complicate detection (malware). The obfuscation is generally carried out using a set of transformations on the target program. Obfuscation is also often used in conjunction with other software protection techniques, such as watermarking or tamperproofing. These transformations are usually integrated into code transformations applied during the compilation process, such as optimisations. However, the application of obfuscation transformations requires more preconditions on the code and more precision in the application to provide an acceptable performance/safety trade-off, making traditional compilers unsuitable for obfuscation. To address these problems, this thesis presents SCOL, a language that is able to describe the process of compiling a program while considering the specific problems of obfuscation. This allows you to describe compilation chains with a high level of abstraction, while allowing a high degree of accuracy on the composition of the transformations. The language has a type system which checks the correctness of the compilation chain. That means that the composition of transformations provides the targeted level of protection and coverage
5

Utard, Gil. "Sémantique des langages à parallélisme de données : applications à la validation et à la compilation." Lyon, École normale supérieure (sciences), 1995. http://www.theses.fr/1995ENSL0011.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Cette these est composee de trois parties. 1) la validation des applications data-paralleles. 2) l'etude et la validation d'un schema de compilation. 3) l'etude de la faisabilite de l'integration de mecanismes d'equilibrage de charge au niveau du schema d'execution. Dans la premiere partie, nous avons developpe une semantique axiomatique pour un langage data-parallele minimal, appele l. Cette semantique permet de definir un systeme de preuve. Un resultat fondamental et non trivial sur sa completude est donne. Cette semantique est ensuite etendue aux structures de controle complexes que l'on peut trouver dans les langages reels. Dans la deuxieme partie, nous donnons la preuve formelle d'une optimisation de compilation des boucles data-paralleles du langage dpc. La preuve est obtenue par une extension de la semantique axiomatique des langages paralleles. Il en resulte une methode de conception modulaire de programmes paralleles. Dans la troisieme partie, nous presentons une implementation de mecanismes de reequilibrages de charge dans les programmes data-paralleles compiles par la methode de virtualisation. Le principe est la migration des processeurs virtuels. Nous presentons ainsi un prototype de compilateur c* pour reseau de stations sous pvm

Книги з теми "Chaîne de compilation":

1

Samani, Muchlas. Reconstruction of education: Compilation of reflections on the urgency of reconstructing education in Indonesia. Edited by Syah Sirikit 1960 author and Universitas Negeri Surabaya. Surabaya: Unesa University Press, 2011.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

John, Barnabas, and National Institute of Public Cooperation and Child Development., eds. Perspectives on voluntary action: A compilation of John Barnabas memorial lectures. New Delhi: National Institute of Public Cooperation and Child Development, 1991.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Steps for social transformation: Compilation of best practices as an outcome from the field. Kathmandu: Canadian Cooperation Office, 2006.

Знайти повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Shally-Jensen, Michael, and Anthony Vivian. A Cultural Encyclopedia of Lost Cities and Civilizations. Praeger, 2022. http://dx.doi.org/10.5040/9798216182849.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This volume explores the span of human history—and plenty of prehistory—searching out prominent and fascinating examples of cities or broader civilizations that shifted from a position of influence to a lack thereof. The accelerating threat of climate change challenges us to analyze our own communities’ relationships with the wider world and to contemplate their very existence. This single-volume cultural encyclopedia examines lost cities and civilizations from every region of the globe and dated throughout human history. Arranged alphabetically, the compilation allows both students and general readers easy access to detailed entries on specific lost cities and civilizations. Throughout the geographically and chronologically diverse entries, such themes as colonization, migration, and especially climate change are developed and analyzed. Supplementing the main entries are sidebars detailing mythological cities and Investigative Boxes examining present-day cities on the brink of extinction. These round out the book’s focus on disappearing cultural centers and reveal the robust relevance this material has to a world facing the crisis of climate change.
5

Brouard, Sylvain, Martin Dolezal, Isabelle Guinaudeau, and Swen Hutter. The Conflict over Nuclear Energy. Edited by Paul W. Thurner and Wolfgang C. Müller. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198747031.003.0004.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This chapter provides an account of the contestation of nuclear energy in Western Europe and beyond. It presents a new compilation of comparative public opinion data on nuclear energy, original data on protest behaviour directed against nuclear energy, and a systematic account of the development of Green parties. The focus is on the covariation of these factors with the behaviour of the established political parties and system properties (Kitschelt’s ‘openness’). The main function of the chapter is to show the relative strength of the ‘natural enemies’ of nuclear energy—concerned citizens, protest movements, and Green parties—in the countries covered by case studies (and beyond, where possible) and to understand how they interact. The chapter argues that neither public opinion critical to nuclear energy nor sizeable protest behaviour is sufficient to introduce anti-nuclear policy change.
6

Hanciles, Jehu J., ed. The Oxford History of Protestant Dissenting Traditions, Volume IV. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780199684045.001.0001.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This volume examines the globalization of Protestant ‘dissenting traditions’ in the twentieth century. During this period, Protestant Dissent achieved not only its widest geographical reach but also the greatest genealogical distance from its point of origin. This process, attended by some of the most momentous developments in human history, was marked by a multitude of pathways or starting-points, continuities and discontinuities, as well as complications and contradictions. The regional framework adopted in this compilation (coverage encompasses Africa, Asia, the Middle East, America, Europe, Latin America, and the Pacific) provides detailed snapshots of Protestant Dissent as a globalizing movement. Contributors probe the radical shifts and complex reconstruction that took place as dissenting traditions encountered diverse cultures and took root in a multitude of contexts, many of which were experiencing major historical change at the same time. This extensive overview unambiguously reveals that ‘Dissent’ was transformed as it travelled.
7

Chan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee, and Stefan Storr, eds. Öffentliches Wirtschaftsrecht im digitalen Zeitalter. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748923589.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Like all sectors of society, the process of digitalization means severe challenges for the public commercial law, too. How can this field of law, which once used to be a pioneer of social progress, be transformed into the digital age? This compilation fields essays from academics from three countries whose legal systems share many similarities, despite their geographical distances: Taiwan, Austria and Germany. The authors focus on the legal questions in public commercial law raised by the process of digitalization and offer suggestions for the further development of their field of law from different insights. With contributions by Prof. Dr. Jörg Ennuschat, Univ.-Prof. Dr. Stefan Storr, Prof. Dr. Chen-Jung Chan, Distinguished Prof. Dr. Chien-Liang Lee, Asst.-Prof. Tung-Ying Lee, Shiang-Bor Huang and Leonie Plogmann.
8

Korpiola, Mia. High and Late Medieval Scandinavia. Edited by Heikki Pihlajamäki, Markus D. Dubber, and Mark Godfrey. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198785521.013.19.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The region that later comprised the kingdoms of Denmark, Norway, and Sweden was Christianized between 900 and 1200. A change from oral to written laws apparently took place first in twelfth-century Norway and Iceland, although the surviving legal manuscripts are some centuries later. Danish provincial laws were compiled c.1200–50 and the Swedish provincial laws only later. In all three Scandinavian kingdoms, royal and ecclesiastical statutes preceded the compilation of provincial laws. Precocious legal unification of the realms of Norway and Sweden was reached by nationwide law in 1274 (Norway) and Sweden (c.1350), supplemented in both kingdoms by town laws. In Denmark, the provincial laws remained in force until the 1680s. Roman law influences came mostly through canon law. Continental legal influences were also transmitted from Germany (feudal and town law). The universities of Uppsala and Copenhagen (1470s) had relatively little impact, clerics mostly studying law at Continental universities.
9

Chan, Chen-Jung, Jörg Ennuschat, Chien-Liang Lee, Yuh-May Lin, and Stefan Storr, eds. Die Corona-Krise und das öffentliche Wirtschaftsrecht. Nomos Verlagsgesellschaft mbH & Co. KG, 2021. http://dx.doi.org/10.5771/9783748921301.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The worldwide outbreak of the COVID-19 pandemic is of extraordinary importance for public commercial law. In a very short time, restrictions to the freedom of commerce were made that would have been unimaginable before the beginning of the pandemic. In this compilation, authors from Taiwan, Austria and Germany describe the national concepts to deal with the pandemic and their consequences for public commercial law. By comparing the concepts in three countries that may be geographically distanced but quite similar regarding to their legal systems, it offers an interesting overview over the different concepts to deal with the pandemic and its consequences. With contributions by Prof. Dr. Chen-Jung Chan, Prof. Dr. Hung-Ping Chung, Prof. Dr. Jörg Ennuschat, Johannes Fritsch, Jessica Heuser, Dist.-Prof. Dr. Chien-Liang Lee, Prof. Dr. Yuh-May Lin, Univ.-Prof. Dr. Stefan Storr, Stephanie Szenkurök and Dr. Matthias Zußner.
10

Weisbard, Eric. Songbooks. Duke University Press, 2021. http://dx.doi.org/10.1215/9781478021391.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
In Songbooks, critic and scholar Eric Weisbard offers a critical guide to books on American popular music from William Billings's 1770 New-England Psalm-Singer to Jay-Z's 2010 memoir Decoded. Drawing on his background editing the Village Voice music section, coediting the Journal of Popular Music Studies, and organizing the Pop Conference, Weisbard connects American music writing from memoirs, biographies, and song compilations to blues novels, magazine essays, and academic studies. The authors of these works are as diverse as the music itself: women, people of color, queer writers, self-educated scholars, poets, musicians, and elites discarding their social norms. Whether analyzing books on Louis Armstrong, the Beatles, and Madonna; the novels of Theodore Dreiser, Gayl Jones, and Jennifer Egan; or varying takes on blackface minstrelsy, Weisbard charts an alternative history of American music as told through its writing. As Weisbard demonstrates, the most enduring work pursues questions that linger across time period and genre—cultural studies in the form of notes on the fly, on sounds that never cease to change meaning.

Частини книг з теми "Chaîne de compilation":

1

Mottin, Julien, François Pacull, Ronan Keryell, and Pascal Schleuniger. "Compilation Tool Chains and Intermediate Representations." In Smart Multicore Embedded Systems, 21–32. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4614-8800-2_2.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Benkovitz, Carmen M., Hajime Akimoto, James J. Corbett, J. David Mobley, Jos G. J. Olivier, Toshimasa Ohara, John A. van Aardenne, and Vigdis Vestreng. "Compilation of Regional to Global Inventories of Anthropogenic Emissions." In Advances in Global Change Research, 17–69. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/978-1-4020-2167-1_2.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Hoffmann, Andrea Ribeiro, Paula Sandrin, and Yannis E. Doukas. "Conclusions." In Climate Change in Regional Perspective, 185–90. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-49329-4_12.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractThis chapter summarizes the main findings and presents a compilation of key recommendations advanced by the authors of this edited volume to address the climate change. Given the interdisciplinary nature of the volume, which includes theoretical perspectives from international relations, law, economics, global ethics, and psychoanalysis, the recommendations refer both to the political and the policy level, as well as the institutional design of cooperation.
4

Tuells, Toni, German Rigau, and Horacio Rodríguez. "Offline Compilation of Chains for Head-Driven Generation with Constraint-Based Grammars." In Computational Linguistics and Intelligent Text Processing, 180–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36456-0_18.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

Motika, Christian, Steven Smyth, and Reinhard von Hanxleden. "Compiling SCCharts — A Case-Study on Interactive Model-Based Compilation." In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 461–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-45234-9_32.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Kasperek, Daniel, Sebastian Maisenbacher, and Maik Maurer. "Structure-based Compilation of System Dynamics Models for Assessing Engineering Design Process Behavior." In Risk and change management in complex systems, 233–42. München: Carl Hanser Verlag GmbH & Co. KG, 2014. http://dx.doi.org/10.3139/9781569904923.023.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Hahn, Annette, Enno Schefuß, Nicole Burdanowitz, Hayley C. Cawthra, Jemma Finch, Tarryn Frankland, Andrew Green, Frank H. Neumann, and Matthias Zabel. "Catchment and Depositional Studies for the Reconstruction of Past Environmental Change in Southern Africa." In Sustainability of Southern African Ecosystems under Global Change, 815–43. Cham: Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-10948-5_28.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractTerrestrial signals in marine sedimentary archives are often used for reconstructing past environments, vegetation and climate, as well as for determining sediment fluxes, pathways, and depositional sites and changes in erosional runoff. It is therefore important to understand the origin, transport, and depositional processes of the various terrestrial sedimentary components in a depositional system. In this chapter, we use examples from southern Africa to show how source-to-sink studies have led to a clearer interpretation of downcore proxy records. Twelve rivers in four river catchment areas of various scales and in distinct climatic settings and geological formations are included in this compilation. We also discuss studies from the current-swept South African east coast, the broad western and southern margins, and investigations from protected marine embayment settings. We consider a large suite of commonly used proxies (plant wax isotopes, elemental composition, and fossil pollen) as well as hydroacoustic surveying techniques (PARASOUND and multibeam bathymetric profiling). Sampling strategies and sample types that may be used in catchment analyses are discussed. Challenges and limitations of the above-mentioned approaches are outlined. In conclusion, we underline the importance of a thorough source-to-sink approach to paleo-environmental reconstructions using terrigenous proxies.
8

Kreibich, Heidi, and Nivedita Sairam. "Dynamic Flood Risk Modelling in Human–Flood Systems." In Springer Climate, 95–103. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-86211-4_12.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractEffective flood risk management is highly relevant for advancing climate change adaptation. It needs to be based on risk modelling that considers the dynamics, complex interactions and feedbacks in human–flood systems. In this regard, we review recent advancements in understanding, quantifying and modelling changes in risk and its drivers. A challenge for integrating human behaviour in dynamic risk assessments and modelling is the combined consideration of qualitative and quantitative data. Advancements in this respect are (1) the compilation and analysis of comprehensive qualitative and quantitative data on flood risk changes in case studies following the paired event concept; (2) the integration of qualitative and quantitative data into socio-hydrological models using Bayesian inference; and (3) the coupling of hydrological flood risk models with behaviour models in socio-hydrological modelling systems. We recommend to further develop these approaches and use more such process-based, dynamic modelling also for large-scale flood risk analyses. These approaches are increasingly feasible due to significant improvements in computational power and data science.
9

Hendriks, Jennifer. "Investigating change from a perspective of continuity." In Investigating West Germanic Languages, 188–224. Amsterdam: John Benjamins Publishing Company, 2024. http://dx.doi.org/10.1075/sigl.8.10hen.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Word order variation in Dutch two-verb clusters continues to attract the attention of linguists from a variety of perspectives. Most accounts have a contemporary focus and diachronic developments therefore remain poorly understood. Rather than simply marshalling more evidence from more historical sources, I argue for an approach which considers biases in the historical record and how common methodological practices of text selection and data aggregation exacerbate them. Van Coetsem’s (1988; 2000) psycholinguistic model of contact offers a principled way to establish whether the linguistic data represents a perspective of continuity or one of change. When combined with a rigorous understanding of the sociohistorical context, the biases in both the historical and linguistic record can be assessed and this understanding applied to the compilation and analysis of new sources of evidence. I demonstrate the utility of this approach using a 35,000-word research corpus of unpublished archival manuscripts from sixteenth-century Antwerp to examine word order variation in Dutch two-verb clusters and use these findings to suggest directions for future corpus-based research.
10

Jia, Pengpeng, Zhefei Jin, Honglin Feng, Qiong Yang, and Wenwu Yang. "Application and Prospect of Spatial Information Technology in Inland Waterway Resources Census." In Lecture Notes in Civil Engineering, 780–88. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-6138-0_68.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractIn recent years, the rapid development of GIS, remote sensing, big data and other spatial information technologies have provided a huge driving force for the information construction and development of many industries. As an important branch of transportation field, inland water transportation also has great development opportunities in information construction. Since the second National Inland Waterway Census, great changes have taken place in the current situation of China’s inland waterway. It is urgent to carry out a new round of National Inland Waterway Census and comprehensively find out the current situation of China’s inland waterway. This paper comprehensively discusses the current situation of the application of spatial information technology in the general census of resources in typical industries. This paper also summarizes the basic situation of Inland Waterway Census in China, and analyzes the key and difficult points of the application of spatial information technology in Waterway Census data acquisition, working base map compilation, application achievement display and so on. It initially puts forward the technical scheme of channel resources census based on information means and online system. Compared with the traditional offline census, the technical scheme proposed in this study has achieved a breakthrough in improving the efficiency of census and ensuring the quality of census results. The research can provide technical reserves and experience for the general survey of channel resources for the whole country and all the provinces.

Тези доповідей конференцій з теми "Chaîne de compilation":

1

Mahmood, Ahmad A., Usman A. Jan, Anum Y. Khan, Hassaan Rasheed, Jose Salazar, Khurram A. Shah, and Shahjahan Khan. "Step-Change in Cement Design Assures Well Integrity Under Dynamic Stress." In SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/217352-ms.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract The Kohat Plateau in Pakistan features major Gas and Condensate producing fields with majority of the blocks owned and operated by two of the country's biggest E&P Operators. Operators are known to frequently encounter severe drilling challenges, and over time, have devised certain technology solutions that have helped curtail the major drilling challenges to a good extent, helping improve the time and cost expended in reaching the target depths. However, the problems arising after the Drilling cycle – foremost being Sustained Casing Pressure (SCP) – require expensive remedial treatments and loss of production; this paper presents a solution to this particular challenge of SCP including in-depth cause analysis, treatment design and implementation. In the analysis stage, the drilling data of wells experiencing SCP in one of the Casing annuli was reviewed to pinpoint possible areas of compromised well integrity. It was observed that sections having good Cement bonds and sufficient Top of Cement in the annulus also became compromised over time, indicating operations conducted after the drilling phase could be responsible for the annular fluid migration, and hence SCP. It must be noted that extensive drill-stem tests to assess the reservoir economics as well as production pressures generate significant dynamic stress on the well structure. Through the use of custom stress-analysis software for annular Cement, it was concluded that it is this stress that causes the primary isolation of the constructed well, the annular Cement, to fail allowing annular migration of formation fluids. A new class of stress-resistant, auto-repair Cements was seen to resist any mechanical failure under stress enabling Operators to drill wells with lasting structural integrity. Mechanical properties including Young's Modulus, Poisson Ratio and Annular Expansion co-efficient were analyzed to design a Cement system capable of withstanding the applied stress. The first in-country application was conducted as the Intermediate-section Cementing in a new well. The system exhibited good isolation with average 10mV amplitude (free pipe amplitude 51 mV) in Cased Hole bond logs and no annular pressure is observed till date in the section more than 02 years after the primary cementing operation. This design approach was subsequently extended to other fields, with successful applications that reduced, and in certain cases, eliminated the need for remedial work. By presenting a detailed field application of flexible and self-healing Cement, the paper puts forth a general, stepwise approach for the selection of a Cement design that promises lasting annular isolation and minimizes the risk of communication behind the casing.
2

Bayuartha, Pratama Wangsit, Parluhutan Alvin Sitorus, Rahmat Sinaga, Tomi Sugiarto, Kristoforus Widyas Tokoh, Bonifasius Muryanto, Dasa Manalu, Dyan Faksilanto, Boby Hendarno, and Taufiq Ardiansyah. "Analysis of Oscillating Fishing Tool Efficiency for Stuck Assembly Recovery in Field X." In SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205829-ms.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract As conventional fishing assembly offers a degree of recovery chance, such chance can be increased by utilizing an Oscillating Fishing Tool (OFT). The OFT is a fishing Bottom Hole Assembly (BHA) component that delivers low-magnitude; high-frequency oscillation. The continuous motion that the tool provides complements the impact generated by the fishing jar. This paper reviews the successful case history in Field X, which was in fact the first utilization of OFT for a fishing application in the field. Method of analysis involve comparing fishing sequence without and with the OFT. The OFT was used in Offshore Field X to recover a mechanically stuck 550-meter long Tubing Conveyed Perforating Gun assembly inside 9 5/8" casing that could potentially lead to loss of access into the 6 oil reserves candidate perforation zones. Initially the assembly had been stuck for two days, during which conventional fishing BHA was used to retrieve it to no avail, even after jarring for most of that time. OFT was then incorporated in the final fishing BHA and operated in combination with jarring operation. After around twelve hours of oscillating and jarring, the fish was able to be released from the initial stuck point. When tripping the string out, however, the assembly was stuck at high dog-leg severity area near the surface. At that point, in combination with applying substantial overpull, OFT was utilized further to recover the entire string. Upon fish retrieval, it was evident that post detonation, the TCP gun had swelled into 8.6 inches in diameter. In summary, oscillating and jarring for thirty-six cumulative hours successfully released the swelled TCP gun assembly from the stuck occurrences. In conclusion, the operation showed that the OFT serves as a higher level of fishing tool option that offers a particular excitation mode to the stuck assembly. Stuck assembly in a cased hole presents potential loss of oil reserves. Particularly in offshore application, the situation can also be costly. With reduced chance of recovery as time passes by, operation is hindered from being able to proceed to the next completion phase. The case proved OFT to have played an important role in improving fishing probability of success and should be considered as standard fishing BHA in the future.
3

Fazal, Muhammad Adnan, Muhammad Salman Saeed, Saad Yousuf, Arif Yousuf, Saqib Jah Temuri, Waqar Javed, and Muhammad Arif Rana. "Achieving Reliable and Cost-Effective Wellbore Cleanout in Depleted and Low-Pressure Wells Using CT Conveyed Fluid Oscillation Tool – Case Histories." In SPE 2023 Symposium Compilation. SPE, 2023. http://dx.doi.org/10.2118/217353-ms.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract The production revival process through wellbore cleanout is majorly carried out using conventional jetting and rotating tools. The conventional tools effective distance is few times the diameter of nozzle and impact pressure of jet stream in fluid reduces significantly beyond several inches. Effectiveness of these tool is further reduced as they enter larger sized tubing, casing/open hole or due to standoff and are hence not effective for hard scales like barium sulphate. The wellbore cleanout operations become more challenging in depleted fields due to limitation of limited flow rate and lean nitrogen pumping through jetting tools, requiring extra CT trips to change BHA causing NPTs. Fluid oscillator tools, based on oscillation technology, produces emissions of alternating bursts of fluid that create pulsating pressure waves (300 to 600 Hz) within wellbore and formation fluids. These cyclic pressure waves cause fatigue breaking up wellbore hard scales like barite, paraffin/asphaltene and proppants. Since the FOTs do not have rotating part, it is compatible with high rate and lean nitrogen. The fast cleanout and lean nitrogen compatibility (avoiding extra trips to change BHA) reduces overall intervention time, thus well can be put back on production timely saving upto 50% of overall operations cost. This paper demonstrates the working principle and three practical applications of FOT at four different wells. The cleanout applications range from packed proppant cleanout to establishing clearance in 7" casing and more than 1,600 ft scale in HT well. The wellbore clearance, in these wells was established in less than 50% time compared to conventional jetting tools, saving more than 20% of overall operations cost.
4

Suhaimin, Fadzlan, Nasir Oritola, Bo Jun Fang, Hing Kheong Cheong, and Yung Khiong Chan. "Wireline Retrievable ESP Deployment: Observation, Challenges and Intervention." In SPE 2020 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/203784-ms.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract The Offshore Field X Project comprises of greenfield scope to expand the Waterflood scheme towards delivering the peak production levels similar to those achieved in the 1990s. Although various artificial lift systems have been successfully deployed in Brunei Shell Petroleum, offshore ESP installation, especially on this scale, is a first and a new journey for the company and its Offshore Assets in which gas lift was predominantly the artificial lift method. The first offshore ESP well was only installed and kicked off in 2017 as part of the Field X Project. As wells are located offshore, cost, resources and logistics remain a challenge for well interventions. With a high workover cost associated with conventional ESP change out, a technology trial was embarked upon to install wireline retrievable ESP systems. A total of 4 out of the 22 ESP wells were approved to be installed and completed with wireline retrievable ESP system on a pilot basis. The business goal was to prove the production deferment reduction and cost advantage for a failed ESP replacement. A critical selection process was followed as well as FAT/industry benchmarking in order to land on WRESP decision for the pilot. System installation and commissioning of the wells was completed by June 2019, however a series of start-up problems were encountered, leading to an intervention requirement to rectify 1 well. Job planning for this intervention was not straight forward and was classified as a high-risk job requiring regulator's approval. Rigorous logistics planning, integration of various vendors, detailed workflow analysis, intervention equipment stack up and modifications were among the planning scope conducted. This paper captures details of the deployment value proposition, case success definition and challenges faced in ensuring all the installed WRESPs are up and running to enable the pilot performance proper evaluation. As no full workover has been executed yet due to the limited operating period, a lifecycle comparison between WL retrievable and conventional ESPs has not been done yet. Once sufficient performance data is available, a detailed study will be conducted to assess the performance of the WRESP system. This analysis will then conclude the technology trial and may change the future of ESP wells in BSP and Shell global.
5

Johnstone, A., E. Scott, and T. Womack. "Reverse compilation of digital signal processor assembler source to ANSI-C." In Proceedings IEEE International Conference on Software Maintenance - 1999 (ICSM'99). 'Software Maintenance for Business Change' (Cat. No.99CB36360). IEEE, 1999. http://dx.doi.org/10.1109/icsm.1999.792629.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
6

Purificação, Rafael Augustinis, Julia Vieira dos Santos, and Matheus Marins Gonzaga. "Subsea Well Intervention Readiness in Brazil." In SPE 2021 Symposium Compilation. SPE, 2021. http://dx.doi.org/10.2118/205832-ms.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract The purpose of this study is to assess the subsea well intervention capabilities in Brazil from an operator point of view and how it compares to other regions in the world, in terms of equipment availability, technology and readiness. The object of this assessment will be restricted to the well access systems, given the numerous scenarios that can drive a subsea well intervention. The intent is to identify the main challenges an International Oil Company (IOC) and/or Local Oil Company (LOC) operating in Brazil must overcome in order to keep a robust and realistic contingency plan in case of any well integrity issue. Also, similar challenges are experienced whenever production restoration is needed and/or even opportunities for production enhancement are economically assessed to viable, or not. Last but not least, well access during the last phase of a well lifecycle (plug and abandonment) is also a key element. This will be discussed further in. Until the late 90's, the subsea oil industry in Brazil was restricted to the state-run operator and the supply chain to the business had developed itself around the mindset to maidenly supply a single state-run operator demand. After the market opening and consolidation of the IOC's and LOC's in the subsea market, a lack of local supply of several goods and services started to present itself. Since well access systems are expensive and the base case is that you won't use it unless you have a problem, there's a strong unconscious desire not to worry about it until you really need it. Sharing the same view, service companies tend to enforce the sale of these kits to the operator, rather than focus on a rental solution. Moreover, when service companies provide rental solutions, they are not kept in country and mobilization fees and lead time become a showstopper on many cases. In view of the scenario described above and ways of operation of the Brazilian market IOC's and LOC's a solution will be proposed to mitigate the risk of unavailability and reduce costs based on the sharing economy principles.
7

Barthe, Gilles, Benjamin Gregoire, and Vincent Laporte. "Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”." In 2018 IEEE 31st Computer Security Foundations Symposium (CSF). IEEE, 2018. http://dx.doi.org/10.1109/csf.2018.00031.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Peleg, Nitzan, and Bilha Mendelson. "Detecting Change in Program Behavior for Adaptive Optimization." In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336208.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Ghodrati, Soroush, Hardik Sharma, Sean Kinzer, Amir Yazdanbakhsh, Jongse Park, Nam Sung Kim, Doug Burger, and Hadi Esmaeilzadeh. "Mixed-Signal Charge-Domain Acceleration of Deep Neural Networks through Interleaved Bit-Partitioned Arithmetic." In PACT '20: International Conference on Parallel Architectures and Compilation Techniques. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3410463.3414634.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Nagpurkar, Priya, Harold W. Cain, Mauricio Serrano, Jong-Deok Choi, and Chandra Krintz. "Call-chain Software Instruction Prefetching in J2EE Server Applications." In 16th International Conference on Parallel Architecture and Compilation Techniques (PACT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pact.2007.4336207.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Звіти організацій з теми "Chaîne de compilation":

1

Couture, R., S. Robinson, M. Burgess, and S. Solomon. Climate change, permafrost, and community infrastructure: a compilation of background material from a pilot study of Tuktoyaktuk, Northwest Territories. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2002. http://dx.doi.org/10.4095/213753.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Robinson, S., R. Couture, and M. Burgess. Climate change, permafrost, and community infrastructure: a compilation of background material from a pilot study of Norman Wells, Northwest Territories. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 2001. http://dx.doi.org/10.4095/211899.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Sindall, Rebecca C., Dani J. Barrington, and Esther Shaylor. Learning From and Preventing Failure in WASH. Institute of Development Studies, February 2023. http://dx.doi.org/10.19088/slh.2022.025.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Water, sanitation, and hygiene (WASH) failures continue to be discussed mostly off the record, with professionals the world over repeating one another’s mistakes. Failure is difficult to talk about, but WASH failures have negative impacts – money is wasted and sometimes people are harmed. We need to acknowledge that not everything we try will succeed, but that if we learn from one another, we can continuously improve our work. Since 2018, we have attempted to foster this change through the ‘WASH Failures Movement’. This issue of 'Frontiers of Sanitation' is a compilation of what we’ve learned about why WASH failures happen, how we can address them, and how we can facilitate a culture of sharing and learning from failure in the WASH sector.
4

Lauth, Timothy, David Biedenharn, Travis Dahl, Casey Mayne, Keaton Jones, Charles Little, Joseph Dunbar, Samantha Lucker, and Nalini Torres. Technical assessment of the Old, Mississippi, Atchafalaya, and Red (OMAR) Rivers : geomorphic assessment. Engineer Research and Development Center (U.S.), August 2022. http://dx.doi.org/10.21079/11681/45143.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This report documents the geomorphic assessment component of the Old River, Mississippi River, Atchafalaya River, and Red River System Technical Assessment. The overall objectives of the geomorphic assessment are to utilize all available data to document the historic trends in hydrology, sedimentation, and channel geometry for the rivers in the vicinity of the Old River Control Complex and to summarize the changes observed at locations where repetitive datasets exist and at key reaches that are determined during the study. The geomorphic assessment tasks include data compilation, geometric data analysis, gage and discharge analysis, dredge record analysis, sediment data analysis, development of an events timeline, and integration of results. Geomorphic reaches were developed, and the morphological trends during different time periods were identified. The geomorphic assessment highlighted the importance of considering spatial and temporal variability when assessing morphological trends.
5

Tanhua, Toste. Ocean Observing Needs. EuroSea, 2023. http://dx.doi.org/10.3289/eurosea_d9.3.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The EuroSea project was constructed around the ocean observing value chain. Just as intended, the value chain concept is a useful prism for designing the ocean observing and forecasting system, or, indeed, a project like EuroSea that set out to improve just this system. Indeed, several projects in the past have successfully used the value chain for this purpose, for example the AtlantOS EU-funded project or the TPOS 2020 project. In this report we summarize some of the main take home messages from EuroSea on the technical innovation and data management needs for the European Ocean Observing and Forecasting System. This report does not set out to summarize EuroSea outputs or impacts, but rather look forward on what we still have to accomplish. We do so, using the prism of the ocean observing value chain, and articulate needs in the areas of governance and coordination, design, network integration and, finally, data integration, assimilation and forecasting. This report is not a detailed list of immediate needs and next steps, but rather a compilation of the broader technical needs for the observing and forecasting system and is meant as a broad guide to the community and possibly to funders of a possible path forward. (EuroSea Deliverable, D9.3)
6

Krafft, Douglas, Rachel Bain, Jack Cadigan, and Richard Styles. A review of tidal embayment shoaling mechanisms in the context of future wetland placement. Engineer Research and Development Center (U.S.), December 2022. http://dx.doi.org/10.21079/11681/46143.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Wetland construction in tidally influenced embayments is a strategy for beneficial use of sediment dredged from nearby navigation channels. These projects have the potential to alter basin morphology, tidal hydrodynamics, and shoaling trends. This special report provides a broad review of the literature related to engineering-induced changes in tidal range, salinity, tidal prism, tidal asymmetry, and other known causes of shoaling. Each potential shoaling mechanism is then evaluated in the context of wetland placement to provide a foundation for future beneficial use research. Based on a compilation of worldwide examples, wetland placement may reduce tidal amplitude and enhance ebb current dominance, thus reducing shoaling rates in the channels. However, constructed wetlands could also reduce the embayment’s tidal prism and cause accelerated shoaling relative to the pre-engineered rate. Because constructed wetlands are often created in conjunction with navigation channel dredging, the system’s morphologic response to wetland construction is likely to be superimposed upon its response to channel deepening, and the net effect may vary depending on a variety of system-specific parameters. Planning for future wetland placements should include an evaluation of local hydrodynamic behavior considering these factors to predict site-specific response.
7

Harris, Kathleen, and Travis Dahl. Technical assessment of the Old, Mississippi, Atchafalaya, and Red (OMAR) Rivers : HEC-RAS BSTEM analysis of the Atchafalaya River. Engineer Research and Development Center (U.S.), August 2022. http://dx.doi.org/10.21079/11681/45174.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This report documents the bank erosion modeling performed under Task 6 (HEC-RAS Sediment Modeling) of the Old, Mississippi, Atchafalaya, and Red (OMAR) Rivers System Technical Assessment. The objectives of the bank erosion modeling effort were to compare the relative impact various flow scenarios might have on bank retreat on a stretch of the Atchafalaya River between Simmesport, LA, and the Whiskey Bay Pilot Channel. The effort included compilation of field and soil boring data, selection of bank retreat sites, creation of representative soil profiles for the reach, calibration of soil parameters to measured retreat rates, and modeling bank retreat and volume of material eroded under various flow scenarios. This modeling effort was intended for scenario comparison and should not be used as a prediction of exact rates of bank erosion. The study found that varying the amount of flow entering the Atchafalaya River from the Mississippi River could increase dramatically or significantly reduce the extent of bank erosion, relative to the current management scenario.
8

Ortiz, Veronica, Joaquin Tintore, and Nicole Köstner. EuroSea Guide of communication and dissemination activities for enhanced visibility of innovation in ocean observing and forecasting for a sustainable ocean. EuroSea, 2023. http://dx.doi.org/10.3289/eurosea_d8.10.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The purpose of this report is to provide a compilation of the communication and dissemination activities in EuroSea. It also proposes, as a guide, some guidelines and considerations to be included in the Communication and Dissemination Strategy in European projects. Dissemination and communication activities are essential for the success of the European Union’s Horizon 2020 research and innovation Programme, and the EuroSea project is no exception. The project has focused on improving ocean observing and forecasting for a sustainable ocean, and effective communication has been a crucial element in bringing together the interest groups, ensuring all stakeholders are to work towards the common goal of sustainable, science-based ocean management, as well as promoting and fostering public understanding of the importance and value of the ocean and its crucial role in climate change. This document offers a summary of the consortium's activities carried out during the whole life of the project (November 2019 - October 2023) related to all EuroSea communication and dissemination tools (official website, social media, newsletter, press release), as well as materials generated for the project (visual identity, printed and audiovisual materials) and the events-based dissemination. Key considerations in planning and strategy include defining project objectives, identifying target audiences, crafting effective messages, and selecting appropriate communication channels and tools. Evaluation and adjustment are also vital to measure the effectiveness of communication and dissemination activities. Overall, this guide could serve as a resource for any team involved in communication and dissemination activities in projects from Horizon 2020. This information will be instrumental in enhancing future efforts, maximizing the impact of the activities and ensuring the success of the project. (EuroSea Deliverable, D8.10)
9

Hayward, N., and S. Paradis. Geophysical reassessment of the role of ancient lineaments on the development of the western margin of Laurentia and its sediment-hosted Zn-Pb deposits, Yukon and Northwest Territories. Natural Resources Canada/CMSS/Information Management, 2022. http://dx.doi.org/10.4095/330038.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The role of crustal lineaments in the development of the western margin of Laurentia, Selwyn basin and associated sediment-hosted Zn-Pb deposits (clastic-dominated, Mississippi-Valley-type) in Yukon and NWT, are reassessed through a new 3-D inversion strategy applied to new compilations of gravity and magnetic data. Regionally continuous, broadly NE-trending crustal lineaments including the Liard line, Fort Norman structure, and Leith Ridge fault, were interpreted as having had long-standing influence on craton, margin, and sedimentary basin development. However, multiple tectonic overprints including terrane accretion, thrust faulting, and plutonism obscure the region's history. The Liard line, related to a transfer fault that bounds the Macdonald Platform promontory, is refined from the integration of the new geophysical models with published geological data. The geophysical models support the continuity of the Fort Norman structure below the Selwyn basin, but the presence of Leith Ridge fault is not supported in this area. The ENE-trending Mackenzie River lineament, traced from the Misty Creek Embayment to Great Bear Lake, is interpreted to mark the southern edge of a cratonic promontory. The North American craton is bounded by a NW-trending lineament interpreted as a crustal manifestation of lithospheric thinning of the Laurentian margin, as echoed by a change in the depth of the lithosphere-asthenosphere boundary. The structure is straddled by Mississippi Valley-type Zn-Pb occurrences, following their palinspastic restoration, and also defines the eastern limit of mid-Late Cretaceous granitic intrusions. Another NW-trending lineament, interpreted to be associated with a shallowing of lower crustal rocks, is coincident with clastic-dominated Zn-Pb occurrences.
10

Kumar, Aishani, Thendral Yalini, and Sunil Kumar C. Unlocking Cellular Control: The Promise of PROTACs in Disease Intervention. Science Reviews - Biology, May 2024. http://dx.doi.org/10.57098/scirevs.biology.3.2.1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The discovery of proteolysis-targeting chimeras (PROTACs) is among the most exciting and promising avenues in cancer therapy. These fascinating compounds signify a paradigm shift from traditional approaches to medication development, offering a new idea that leverages the complexities of biological mechanisms to accomplish highly focused degradation of particular proteins implicated in pathological processes. This novel strategy has the potential to address a number of drawbacks with conventional therapy techniques, such as the development of drug resistance and unexpected adverse effects resulting from interactions that are not intended. The fundamental attraction of PROTACs is their distinct mode of action, which is based on controlling the cell's own machinery for protein degradation. This orchestrated degradation translates to a substantial reduction in the levels of disease-driving proteins, often leading to the disruption of critical pathways involved in cancer growth and progression. The in-depth principles underlying PROTAC technology are thoroughly explored in this review study, which also provides insight into the complex chemical mechanisms that enable these chimeric molecules to specifically degrade certain proteins while leaving others intact. Showcasing the potential of PROTACs as a revolutionary force in targeted cancer therapy, and focusing on its application in prostate and breast cancer especially, the article draws from a comprehensive compilation of preclinical and clinical studies, advancements, and breakthroughs in the field. The methods used to create and refine PROTACs for various cancer types will be examined throughout the review, along with the subtleties of the ligand and linker choices that are crucial to their effectiveness and selectivity. The difficulties and possibilities of transferring this ground-breaking technology from the lab to clinical practice will also be thoroughly examined, with an emphasis on issues like bioavailability, administration strategies, and potential resistance mechanisms. Through the integration of perspectives from various studies, the objective is to present a thorough but succinct review of the state of ongoing PROTAC research, emphasizing both, noteworthy advancements and the important issues that still need to be resolved. In the end, our investigation into PROTACs aims to shed light on how they can change the face of cancer therapy by providing a preview of a day when targeted protein degradation of disease-causing proteins would lead the way in novel therapeutic approaches.

До бібліографії