Log in

Relevant bibliographies by topics / Lustre

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Lustre'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Lustre.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Lustre"

1

Thomas, Lorenzo. "Lustre." Callaloo 22, no. 2 (1999): 281. http://dx.doi.org/10.1353/cal.1999.0104.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Young, C. Dale. "Lustre." New England Review 44, no. 1 (2023): 165–66. http://dx.doi.org/10.1353/ner.2023.0018.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bickley, Anthea, and Raymond McHugh. "Lustre Fabrics." Costume 23, no. 1 (January 1, 1989): 98–109. http://dx.doi.org/10.1179/cos.1989.23.1.98.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Binh, Nguyen Thanh, Trinh Cong Duy, and Ioannis Parissis. "LusRegTes: A Regression Testing Tool for Lustre Programs." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 5 (October 1, 2017): 2635. http://dx.doi.org/10.11591/ijece.v7i5.pp2635-2644.

Full text

Abstract:

Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport...). In such applications, the testing activity for detecting errors of the system plays a crucial role. During the development and maintenance processes, Lustre programs are often evolving, so regression testing should be performed to detect bugs. In this paper, we present a tool for automatic regression testing of Lustre programs. We have defined an approach to generate test cases in regression testing of Lustre programs. In this approach, a Lustre program is represented by an operator network, then the set of paths is identified and the path activation conditions are symbolically computed for each version. Regression test cases are generated by comparing paths between versions. The approach was implemented in a tool, called LusRegTes, in order to automate the test process for Lustre programs.

APA, Harvard, Vancouver, ISO, and other styles

5

Jayakumar, N., and A. M. Kulkarni. "A Simple Measuring Model for Evaluating the Performance of Small Block Size Accesses in Lustre File System." Engineering, Technology & Applied Science Research 7, no. 6 (December 18, 2017): 2313–18. http://dx.doi.org/10.48084/etasr.1557.

Full text

Abstract:

Storage performance is one of the vital characteristics of a big data environment. Data throughput can be increased to some extent using storage virtualization and parallel data paths. Technology has enhanced the various SANs and storage topologies to be adaptable for diverse applications that improve end to end performance. In big data environments the mostly used file systems are HDFS (Hadoop Distributed File System) and Lustre. There are environments in which both HDFS and Lustre are connected, and the applications directly work on Lustre. In Lustre architecture with out-of-band storage virtualization system, the separation of data path from metadata path is acceptable (and even desirable) for large files since one MDT (Metadata Target) open RPC is typically a small fraction of the total number of read or write RPCs. This hurts small file performance significantly when there is only a single read or write RPC for the file data. Since applications require data for processing and considering in-situ architecture which brings data or metadata close to applications for processing, how the in-situ processing can be exploited in Lustre is the domain of this dissertation work. The earlier research exploited Lustre supporting in-situ processing when Hadoop/MapReduce is integrated with Lustre, but still, the scope of performance improvement existed in Lustre. The aim of the research is to check whether it is feasible and beneficial to move the small files to the MDT so that additional RPCs and I/O overhead can be eliminated, and read/write performance of Lustre file system can be improved.

APA, Harvard, Vancouver, ISO, and other styles

6

Niu, De Jiao, Tao Cai, Yong Zhao Zhan, and Shi Guang Ju. "Metadata Indexing Sub-System for Distributed File System." Applied Mechanics and Materials 143-144 (December 2011): 864–68. http://dx.doi.org/10.4028/www.scientific.net/amm.143-144.864.

Full text

Abstract:

The efficiency of metadata indexing is important to the performance of distributed file system. Time and space spending of current metadata management algorithms are unstable. In this paper, we use B-tree to index the metadata of distributed file system. Lustre is an open source distributed file system in which Hash function is used to manage the metadata. We implement the prototype of metadata indexing sub-system on Lustre and use Iozone to test the I/O performance of Lustre with and without the metadata indexing sub-system respectively. The simulation results show that Lustre with the metadata indexing sub-system has higher adaptability than Lustre with Hash-based metadata management algorithm.

APA, Harvard, Vancouver, ISO, and other styles

7

Bourbouh, Hamza, Pierre-Loïc Garoche, Christophe Garion, and Xavier Thirioux. "From Lustre to Simulink." ACM Transactions on Cyber-Physical Systems 5, no. 3 (July 2021): 1–20. http://dx.doi.org/10.1145/3461668.

Full text

Abstract:

Model-based design is now unavoidable when building embedded systems and, more specifically, controllers. Among the available model languages, the synchronous dataflow paradigm, as implemented in languages such as MATLAB Simulink or ANSYS SCADE, has become predominant in critical embedded system industries. Both of these frameworks are used to design the controller itself but also provide code generation means, enabling faster deployment to target and easier V&V activities performed earlier in the design process, at the model level. Synchronous models also ease the definition of formal specification through the use of synchronous observers, attaching requirements to the model in the very same language, mastered by engineers and tooled with simulation means or code generation. However, few works address the automatic synthesis of MATLAB Simulink annotations from lower-level models or code. This article presents a compilation process from Lustre models to genuine MATLAB Simulink, without the need to rely on external C functions or MATLAB functions. This translation is based on the modular compilation of Lustre to imperative code and preserves the hierarchy of the input Lustre model within the generated Simulink one. We implemented the approach and used it to validate a compilation toolchain, mapping Simulink to Lustre and then C, thanks to equivalence testing and checking. This backward compilation from Lustre to Simulink also provides the ability to produce automatically Simulink components modeling specification, proof arguments, or test cases coverage criteria.

APA, Harvard, Vancouver, ISO, and other styles

8

Smith, Tony. "Lustre pigments and powders." Pigment & Resin Technology 14, no. 7 (July 1985): 16–18. http://dx.doi.org/10.1108/eb042150.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Anstis, Stuart M. "Monocular lustre from flicker." Vision Research 40, no. 19 (September 2000): 2551–56. http://dx.doi.org/10.1016/s0042-6989(00)00131-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Sambles, Roy. "Gold loses its lustre." Nature 438, no. 7066 (November 2005): 295–96. http://dx.doi.org/10.1038/438295a.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Lustre"

1

Kettlewell, R. "The lustre of wool." Thesis, University of Leeds, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234428.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Auger, Cédric. "Compilation certifiée de SCADE/LUSTRE." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818169.

Full text

Abstract:

Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d'avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d'être plus lent si on devient plus sûr. Afin d'augmenter cette fiabilité, plutôt que de concevoir manuellement tout le système, on utilise des machines qui synthétisent automatiquement le système souhaité à partir d'une description la plus concise possible. Dans le cas du logiciel, ce mécanisme s'appelle la compilation, et évite des erreurs introduites par l'homme par inadvertance. Elle ne garantit cependant pas la bonne correspondance entre le système produit et la description donnée. Des travaux récents menés par une équipe INRIA dirigée par Xavier Leroy ont abouti en 2008 au compilateur CompCert d'un sous-ensemble large de C vers l'assembleur PowerPC pour lequel il a été prouvé dans l'assistant de preuve Coq que le code assembleur produit correspond bien à la description en C du programme source. Un tel compilateur offre des garanties fortes de bonne correspondance entre le système synthétisé et la description donnée. De plus, avec les compilateurs utilisés pour le temps réel critique, la plupart des optimisations sont désactivées afin d'éviter les erreurs qui y sont liées. Dans CompCert, des optimisations elles aussi prouvées sont proposées, ce qui pourrait permettre ces passes dans la production de systèmes temps réel critiques sans en compromettre la fiabilité. Le but de cette thèse est d'avoir une approche similaire mais spécifique à un langage synchrone, donc plus approprié à la description de systèmes temps réel critiques que ne l'est le C. Un langage synchrone flots de données semblable à Lustre, nommé Ls, et un langage impératif semblable au langage C, nommé Obc y sont proposés ainsi que leur sémantique formelle et une chaîne de compilation avec des preuves de préservation de sémantique le long de cette chaîne.

APA, Harvard, Vancouver, ISO, and other styles

3

Mikáč, Jan. "Raffinement et preuves de systèmes Lustre." Grenoble INPG, 2005. http://www.theses.fr/2005INPG0131.

Full text

Abstract:

Notre thèse se situe dans le domaine des méthodes formelles appliquées aux systèmes réactifs. Nous modélisons et traitons ces systèmes, en continuelle interaction avec leur environnement, grâce au langage synchrone Lustre. D'abord, sur la base d'un travail précurseur, nous établissons pour Lustre une méthode de preuve inductive des propriétés de sûreté. Cette méthode est optimisée, afin de prendre en compte au mieux la dynamique des systèmes. Elle est implémentée dans un outil de preuve, Gloups. Ensuite, suivant le modèle de la méthode B, nous définissons un calcul de raffinement pour Lustre. Ce calcul est à la fois adapté à Lustre et exprimé en ce langage. Les obligations de preuve qui assurent la correction du raffinement peuvent être traitées par Gloups. Pour faciliter le développement, un autre outil, Flush, génère automatiquement les obligations pour Gloups. Ainsi, nous utilisons Lustre à la fois comme langage de programmation et comme cadre formel d'un développement maîtrisé. L'intérêt de ce procédé réside dans la simplicité du langage et dans son adaptation aux systèmes réactifs : en ce domaine, notre méthode de raffinement est suffisamment expressive, sans être inutilement compliquée. Des exemples viennent démontrer l'intérêt de la méthode
This thesis is set into the domain of formal methods applied to reactive systems. These systems, characterized by their continuous interaction with their environment, are modeled and managed by the means of the synchronous programming language Lustre. Firstly, thanks to a previous work, we build an induction-based proof method of Lustre safety properties. The method is optimized in that it takes into account the dynamics of the systems in the best possible way. We implemented it in the Gloups proof tool. Then we define a refinement calculus for Lustre which follows the B method model. The calculus is both adapted to and expressed in Lustre. The proof obligations which ensure the refinement correctness can be handled by Gloups. In order to simplify the development, another tool called Flush automatically generates the proof obligations for Gloups. Thus we use Lustre as both a programming language and a formal development framework. The interest of our method stems from the simplicity of Lustre and its adaptation to the reactive systems: in this domain, our refinement method is expressive enough, yet not exceedingly complex. To finish, we show the interest on some examples

APA, Harvard, Vancouver, ISO, and other styles

4

Papailiopoulou, Virginia. "Test automatique de programmes Lustre / SCADE." Phd thesis, Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00454409.

Full text

Abstract:

Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la génération des tests ainsi que l'évaluation de leur qualité, dans le cadre des systèmes embarqués spécifiés en Lustre/SCADE. D'une part, nous présentons une méthodologie de test basée sur l'outil Lutess qui génère automatiquement des données de test exclusivement à partir de la description de l'environnement du système. D'autre part, on se base sur le modèle SCADE du programme sous test et nous définissons des critères de couverture structurelle qui prennent en compte deux nouveaux aspects: l'utilisation des plusieurs horloges et le test d'intégration, permettant la mesure de couverture de systèmes de grande taille. Ces deux stratégies pourraient avoir un impact positif sur le test efficace des applications réelles. Des études de cas extraites du domaine de l'avionique sont employées pour démontrer l'applicabilité de ces méthodes et pour évaluer leur complexité.

APA, Harvard, Vancouver, ISO, and other styles

5

Papailiopoulou, Virginia. "Test automatique de programmes Lustre / SCADE." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM005.

Full text

Abstract:

Ce travail porte sur l'amélioration du processus de test, en offrant des moyens d'automatiser la génération des tests ainsi que l'évaluation de leur qualité, dans le cadre des systèmes embarqués spécifiés en Lustre/SCADE. D'une part, nous présentons une méthodologie de test basée sur l'outil Lutess qui génère automatiquement des données de test exclusivement à partir de la description de l'environnement du système. D'autre part, on se base sur le modèle SCADE du programme sous test et nous définissons des critères de couverture structurelle qui prennent en compte deux nouveaux aspects: l'utilisation des plusieurs horloges et le test d'intégration, permettant la mesure de couverture de systèmes de grande taille. Ces deux stratégies pourraient avoir un impact positif sur le test efficace des applications réelles. Des études de cas extraites du domaine de l'avionique sont employées pour démontrer l'applicabilité de ces méthodes et pour évaluer leur complexité
The work in this thesis addresses the improvement of the testing process with a view to automating test data generation as well as its quality evaluation, in the framework of reactive synchronous systems specified in Lustre/SCADE. On the one hand, we present a testing methodology using the Lutess tool that automatically generates test input data based exclusively on the environment description of the system under test. On the other hand, we are based on the SCADE model of the program under test and we define structural coverage criteria taking into account two new aspects: the use of multiple clocks as well as integration testing, allowing the coverage measurement of large-sized systems. These two strategies could have a positive impact in effectively testing real-world applications. Case studies extracted from the avionics domain are used to demonstrate the applicability of these methods and to empirically evaluate their complexity

APA, Harvard, Vancouver, ISO, and other styles

6

Dumas, Canovas Cécile. "Méthodes déductives pour la preuve de programmes LUSTRE." Université Joseph Fourier (Grenoble), 2000. http://www.theses.fr/2000GRE10200.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Santos, Joelice Barbosa dos. "Entre o porão e o lustre: a relação personagem e espaço no romance O lustre, de Clarice Lispector." Pontifícia Universidade Católica de São Paulo, 2008. https://tede2.pucsp.br/handle/handle/14845.

Full text

Abstract:

Made available in DSpace on 2016-04-28T19:59:09Z (GMT). No. of bitstreams: 1 Joelice Barbosa dos Santos.pdf: 1243787 bytes, checksum: 2f51770054d3784d1a87df09695ca182 (MD5) Previous issue date: 2008-04-22
Secretaria da Educação do Estado de São Paulo
The central object of this research is the analysis of the novel O Lustre, by Clarice Lispector. Some theoretical reflections about the modern novel, as well as the criticism about this book, helped us in this study. Therefore, the present work does not base itself only in the theoretical discussion, but in the critical voice too, which did not recognize this literary work of 1946 as criticism did with the others novels by this author. The observations about the Aesthetics of Reception, proposed by Hans Robert Jauss, served to draw up the way in which the horizon of expectations about this novel developed. From this approach, we can observed that the question about the convention of the genres in the Lispector s work was a key factor that bothered many critics. Actually, this book does not follow the straight rules of the traditional novel. In this novel, the character stands out in the process of construction and the relations with the space. For this, it is transforming according to the place where it is. Gaston Bachelard s concepts were the base to analyze the space in this novel. The central attention about the question of space was based in the discussions that appear in his book The Poetics of the Space. The importance of the O Lustre in Lispector s work is also noted in the quotations from the other authors which appear in this narrative, as Edgar Allan Poe. Moreover, this book presents various relations with other arts. The present research wishes to contribute with the studies about Lispector s work. Especially with a novel considered minor in the Brazilian writer s production
O objetivo principal desta pesquisa é a análise do romance O lustre, de Clarice Lispector. Diversas reflexões teóricas acerca do romance moderno, assim como a fortuna crítica sobre este livro, nos auxiliaram neste estudo. Portanto, nosso trabalho não se pauta apenas na discussão teórica, mas na voz da crítica que, de certo modo, não valorizou o volume de 1946 do mesmo modo que julgou os demais romances da escritora. As considerações sobre a recepção crítica, propostas por Hans Robert Jauss, serviram para traçarmos uma linha evolutiva do horizonte de expectativas do leitor de O lustre. A partir dessa abordagem, verificamos que a questão sobre a convenção dos gêneros na obra de Lispector foi um fator que incomodou grande parte dos críticos, uma vez que esse livro não obedece a regras rígidas. Nesse romance, a personagem ganha destaque no processo de construção e nas relações com o espaço que se mostram necessárias à medida que ela se transforma e se constrói a partir do lugar em que se encontra. As idéias de Gaston Bachelard foram relevantes na análise do espaço, pois o recorte foi baseado nas discussões presentes em seu livro A poética do espaço. A importância de O lustre dentro da obra clariceana se mostra ainda no que diz respeito às referências a outros autores presentes nessa narrativa, como Edgar Allan Poe, bem como o diálogo com outras artes, conforme observamos. Em suma, esta pesquisa quer contribuir com os estudos que abordam a obra de Clarice Lispector a partir de um romance considerado menor na produção da escritora brasileira

APA, Harvard, Vancouver, ISO, and other styles

8

Parissis, Ioannis. "Test de logiciels synchrones spécifiés en Lustre." Phd thesis, Université Joseph Fourier (Grenoble), 1996. http://tel.archives-ouvertes.fr/tel-00005010.

Full text

Abstract:

Ce travail s'inscrit dans le cadre des méthodes formelles et des outils pour la spécification, la programmation, la vérification et la validation des logiciels réactifs à l'aide du langage synchrone Lustre. Nous avons étendu l'environnement de développement actuel de ces logiciels en lui adjoignant des outils de validation de spécifications et de test de programmes. Nous proposons une technique de construction automatique d'un simulateur aléatoire de l'environnement externe du logiciel ainsi que d'un simulateur des comportements sûrs de ce dernier. Exécutés conjointement, ces deux simulateurs permettent, par observation, la validation des spécifications de l'environnement et des propriétés de sûreté. La simulation de l'environnement constitue également un moyen de test aléatoire du logiciel. Une variante de cette technique est le test des propriétés de sûreté. Ce type de test favorise l'exécution des comportements de l'environnement du logiciel qui peuvent mettre en évidence avec une plus grande probabilité des violations des propriétés de sûreté. Enfin, nous définissons des critères de couverture pour le test structurel en s'appuyant sur le réseau d'opérateurs associé à un programme Lustre. Les conditions d'exécution des composants du réseau satisfaisant les critères sont calculées automatiquement ce qui permet la génération automatique de données de test ainsi que la mesure du taux de couverture obtenu. Toutes ces techniques sont formellement définies. Une illustration de leur application sur un exemple de logiciel synchrone que nous avons développé à cet effet complète notre étude.

APA, Harvard, Vancouver, ISO, and other styles

9

Rocheteau, Frédéric. "Extension du langage LUSTRE et application a la conception de circuits : le langage LUSTRE-V4 et le systeme POLLUX." Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00342092.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Rocheteau, Frederic Halbwachs Nicolas Vuillemin Jean Mazaré Guy. "Extension du langage LUSTRE et application à la conception de circuits le langage LUSTRE-V4 et le système POLLUX /." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00342092.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Lustre"

1

Maccabee, John. Lustre. New York, NY: Pocket Books, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Persian lustre ware. London: Faber and Faber, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

The lustre of life. Colombo: S. Godage Bros., 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Williams, Dean. Visual evaluation of lustre. London: LCP, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lustre for china painters and potters. Kenthurst: Kangaroo Press, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Burkholz, Matthew L. Copper art jewelry: A different lustre. West Chester, Pa: Schiffer, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Lost lustre: A New York memoir. Suffern, NY: Tatra Press, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Deluxe: How luxury lost its lustre. London: Allen Lane, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Lustre for china painters and potters. London: Batsford, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Jones, Elizabeth. Lustre work: An investigation into the historical and technical traditions of the use of lustre in ceramics.... Derby: Derbyshire College of Further [sic] Education, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Lustre"

1

Holenderski, Leszek. "Lustre." In Lecture Notes in Computer Science, 101–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-58867-1_50.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Yuan, Zhenghen, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, and Xiaohong Chen. "Hybrid Lustre." In Lecture Notes in Computer Science, 325–40. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41579-6_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Puddick, Melanie, and Priya Menon. "Contemporary Lustre." In The Luxury Market in India, 48–68. London: Palgrave Macmillan UK, 2012. http://dx.doi.org/10.1057/9781137264169_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Chaimov, Nicholas, Allen Malony, Costin Iancu, and Khaled Ibrahim. "Scaling Spark on Lustre." In Lecture Notes in Computer Science, 649–59. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-46079-6_45.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Prasad, Sanjiva, and R. Madhukar Yerraguntla. "Normalising Lustre Preserves Security." In Theoretical Aspects of Computing – ICTAC 2021, 275–92. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-85315-0_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Halbwachs, Nicolas. "Declarative languages: Lustre and Signal." In Synchronous Programming of Reactive Systems, 53–72. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4757-2231-4_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Brunetti, B. G., L. Cartechini, C. Miliani, and A. Sgamellotti. "Metal Nanoparticles in Glass: Lustre." In Modern Methods for Analysing Archaeological and Historical Glass, 583–608. Oxford, UK: John Wiley & Sons Ltd, 2013. http://dx.doi.org/10.1002/9781118314234.ch28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Ward, Tony, and Arnaud Plagnol. "When Life Loses Its Lustre." In Cognitive Psychodynamics as an Integrative Framework in Counselling Psychology and Psychotherapy, 105–30. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25823-8_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

James, Luke. "Burnishing the Lustre of Prestige." In Experts in the World Heritage Regime, 133–66. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-55497-1_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Halbwachs, Nicolas. "Lustre program verification: the tool Lesar." In Synchronous Programming of Reactive Systems, 139–47. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4757-2231-4_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Lustre"

1

Kepner, Jeremy, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Lauren Edwards, Vijay Gadepally, et al. "Lustre, hadoop, accumulo." In 2015 IEEE High Performance Extreme Computing Conference (HPEC). IEEE, 2015. http://dx.doi.org/10.1109/hpec.2015.7322476.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Mohr, Rick, and Adam P. Howard. "Provisioning ZFS Pools On Lustre." In PEARC '19: Practice and Experience in Advanced Research Computing. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3332186.3332245.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Palencia, Josephine, Robert Budden, and Kevin Sullivan. "Kerberized Lustre 2.0 over the WAN." In the 2010 TeraGrid Conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1838574.1838589.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Van Phol, Le, Nguyen Thanh Binh, and Ioannis Parissis. "Mutants Generation For Testing Lustre Programs." In SoICT 2017: The Eighth International Symposium on Information and Communication Technology. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3155133.3155155.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bourke, Timothy, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, and Lionel Rieg. "A formally verified compiler for Lustre." In PLDI '17: ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2017. http://dx.doi.org/10.1145/3062341.3062358.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Cohen, Albert, Léonard Gérard, and Marc Pouzet. "Programming parallelism with futures in lustre." In the tenth ACM international conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2380356.2380394.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Mohr, Rick, and Paul Peltz. "Benchmarking SSD-Based Lustre File System Configurations." In the 2014 Annual Conference. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2616498.2616544.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lin, Kuan-Wu, Surendra Byna, Jerry Chou, and Kesheng Wu. "Optimizing fastquery performance on lustre file system." In the 25th International Conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2484838.2484853.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Marre, B., and A. Arnould. "Test sequences generation from LUSTRE descriptions: GATEL." In Proceedings of ASE 2000 15th IEEE International Automated Software Engineering Conference. IEEE, 2000. http://dx.doi.org/10.1109/ase.2000.873667.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Papailiopoulou, Virginia. "Automatic Test Generation for LUSTRE/SCADE Programs." In 2008 23rd IEEE/ACM International Conference on Automated Software Engineering. IEEE, 2008. http://dx.doi.org/10.1109/ase.2008.96.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Lustre"

1

Wang, Feiyi, H. Sarp Oral, Galen M. Shipman, Oleg Drokin, Di Wang, and He Huang. Understanding Lustre Internals. Office of Scientific and Technical Information (OSTI), April 2009. http://dx.doi.org/10.2172/951297.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Oral, H. Sarp. Evaluating Storage Systems for Lustre. Office of Scientific and Technical Information (OSTI), August 2015. http://dx.doi.org/10.2172/1212353.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

George, Anjus, Rick Mohr, James Simmons, and Sarp Oral. Understanding Lustre Internals Second Edition. Office of Scientific and Technical Information (OSTI), September 2021. http://dx.doi.org/10.2172/1824954.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Huelskamp, Antoinette Elizabeth, Nicholas Ray Brown, and Justice Dante-Richards Sefas. Optimizing Lustre for Single Client Performance (Presentation). Office of Scientific and Technical Information (OSTI), August 2017. http://dx.doi.org/10.2172/1374287.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Croonenberg, Ronald Johannes. Lustre on diskless servers using ZFS pools as targets. Office of Scientific and Technical Information (OSTI), May 2015. http://dx.doi.org/10.2172/1182613.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Simmons, James S., Dustin B. Leverman, Jesse A. Hanley, and Sarp Oral. Lustre Distributed Name Space (DNE) Evaluation at the Oak Ridge Leadership Computing Facility (OLCF). Office of Scientific and Technical Information (OSTI), August 2016. http://dx.doi.org/10.2172/1302888.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Ianchovichina, Elena, Thomas Hertel, and Terrie Walmsley. Understanding the Slowdown in Foreign Investment in China. GTAP Research Memoranda, February 2014. http://dx.doi.org/10.21642/gtap.rm26.

Full text

Abstract:

No one thought China’s high growth rates would persist forever, or that multinational firms would always keep pouring into the Chinese market, eager to establish operations regardless of local conditions. Economic convergence ensures that there will be a cooling off as wages rise and expected rates of return to investments fall. The difficult question has never been whether China will lose its luster, but when this would happen and how the adjustment will occur.

APA, Harvard, Vancouver, ISO, and other styles

8

HAYRAPETYAN, S. S., D. A. MARTIROSYAN, A. A. GRIGORYAN, L. S. HAYRAPETYAN, and A. R. SUKIASYAN. Sergey Hayrapetyan, Davit Martirosyan, Ani Grigoryan, Lusine Hayrapetyan, Astghik Sukiasyan. DOI CODE, 2023. http://dx.doi.org/10.18411/doicode-2024.268.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

shah, Sikandar. Dr. Robert Lustig: How Sugar & Processed Foods Impact Your Health. ResearchHub Technologies, Inc., December 2023. http://dx.doi.org/10.55277/researchhub.4cfpcpqo.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Verdes Montenegro, Francisco. La autonomía estratégica de la Unión Europea: ¿en qué lugar queda América Latina? Fundación Carolina, April 2022. http://dx.doi.org/10.33960/issn-e.1885-9119.dt65.

Full text

Abstract:

En poco más de un lustro, dos interpretaciones de la autonomía estratégica se han ido abriendo paso en el marco de la Unión Europea: una restringida —más apegada a la dimensión de defensa— y otra ampliada, con carácter multidimensional. Cada una de ellas tiene un origen y características diferentes, así como una percepción de América Latina que varía e influye en la propia forma de enfocar la relación birregional y su asociación estratégica. Por ello, el presente trabajo revisa, en primer lugar, la evolución de una noción disputada en el seno de la UE para, en segundo término, abordar cómo cada una de estas aproximaciones a la autonomía estratégica de la UE —restringida y ampliada— condiciona sus relaciones hacia América Latina. Asimismo, y para concluir, se aborda un ejemplo paradigmático de cooperación birregional que marca una pauta para futuros programas de cooperación entre ambas regiones en esta materia.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!