Journal articles: '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

11

Mullard, Asher. "Anticoagulant loses its lustre." Lancet 379, no. 9813 (January 2012): 301. http://dx.doi.org/10.1016/s0140-6736(12)60128-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Klein, Tony. "The lustre of pearls." Europhysics News 45, no. 3 (May 2014): 15–16. http://dx.doi.org/10.1051/epn/2014301.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Pradell, Trinitat, Judit Molera, Andrew D. Smith, Aurelio Climent-Font, and Michael S. Tite. "Technology of Islamic lustre." Journal of Cultural Heritage 9 (December 2008): e123-e128. http://dx.doi.org/10.1016/j.culher.2008.06.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Gijzen, Mark, Changren Weng, Kuflom Kuflu, Lorna Woodrow, Kangfu Yu, and Vaino Poysa. "Soybean seed lustre phenotype and surface protein cosegregate and map to linkage group E." Genome 46, no. 4 (August 1, 2003): 659–64. http://dx.doi.org/10.1139/g03-047.

Full text

Abstract:

Soybean (Glycine max (L.) Merr.) seeds vary in their surface properties. The lustre, or glossiness, of seeds has been classified into several different phenotypes. Soybean seeds that have a dull lustre or moderate bloom (B) may also have abundant seed surface protein, namely, an abundance of the hydrophobic protein from soybean (HPS). The seed surface protein HPS is an allergen (Gly m 1) that causes asthma in persons allergic to soybean dust. In this study, seed lustre and surface protein content are compared among 71 different soybean cultivars and lines. Dull-seeded phenotypes usually possessed abundant surface protein in comparison to shiny-seeded types, although exceptions were observed. An F2 population of 82 individuals from a cross of OX281 (dull lustre, abundant HPS) and Mukden (shiny lustre, trace amounts of HPS) provided a basis for inheritance studies and genetic mapping analysis. Results indicate that dull seed lustre (B) and surface protein (Hps) loci are dominant Mendelian traits that cosegregate and map to soybean linkage group E. Molecular markers were used to construct a genetic map of 28 cM encompassing B and Hps. Two different molecular markers cosegregated with each of the loci. This study provides additional evidence that Hps may play a role in the adhesion of endocarp tissues to the seed, and offers new methods of selection for seed lustre and surface protein composition in soybean.Key words: adhesion, allergen, hydrophobic protein, pericarp, seed coat.

APA, Harvard, Vancouver, ISO, and other styles

15

Galindo, R., C. Gargori, S. Cerro, J. Badenes, and G. Monrós. "Wear Resistance of Metal Oxide Sol-Gel Coatings Deposited over Ceramic Glazes." Key Engineering Materials 423 (December 2009): 47–53. http://dx.doi.org/10.4028/www.scientific.net/kem.423.47.

Full text

Abstract:

This paper analyse the wear resistance of high reflective metal oxide films of TiO2 (anatase), Fe2O3 (hematite), ZrO2 (Zirconia) and SnO2 (Casiterite) deposited by screen printing over a conventional ceramic glaze (molar composition 0,2CaO.0,15ZnO.0,05K2O.0,1Al2O3 0,45SiO2.0,05ZrO2). All oxide coatings increase the gloss of the substrate producing a lustre effect. Anatase films stand out for their high gloss valour and low roughness Ra. Likewise, all lustres improve the wear resistance of the glaze substrate. Hematite and casiterite coatings stand out for their relatively high wear resistance maintaining relatively high reflectivity.

APA, Harvard, Vancouver, ISO, and other styles

16

Sciau, Philippe, Claude Mirguet, Christian Roucau, Delhia Chabanne, and Max Schvoerer. "Double Nanoparticle Layer in a 12^th Century Lustreware Decoration: Accident or Technological Mastery?" Journal of Nano Research 8 (September 2009): 133–39. http://dx.doi.org/10.4028/www.scientific.net/jnanor.8.133.

Full text

Abstract:

Metallic lustre decorations of glazed ceramics, which appeared in Mesopotamia during the 9th century AD, can be considered nowadays as an historical example of controlled nanotechnology for optical devices. Their surprising optical properties are directly due to metallic nanoparticles that Islamic potters were able to bury in the first layers of glaze through empirical chemical means. Lustre technology is fascinating and many papers have been devoted to this subject. Many lustre samples have been investigated with the most modern equipment such as the synchrotron radiation, electron microscopy, micro-Raman spectroscopy and other spectroscopic methods. This decor made in the twelfth century during the Fatimid dynasty shows a quasi-perfect double layer of nanoparticles confirming the high technological mastery of this civilization. Moreover, up to now, no lustre has been found with an organization of nanoparticles as elaborate as the decor presented here.

APA, Harvard, Vancouver, ISO, and other styles

17

Okhoya, Naututu, and Gumisai Mutume. "‘Golden leaf’ loses its lustre." Africa Renewal 18, no. 3 (October 31, 2004): 4–5. http://dx.doi.org/10.18356/8670f46e-en.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Ledford, Heidi. "Cholesterol limits lose their lustre." Nature 494, no. 7438 (February 2013): 410–11. http://dx.doi.org/10.1038/494410a.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Mervis, Jeffrey. "US research could lose lustre." Nature 355, no. 6361 (February 1992): 578. http://dx.doi.org/10.1038/355578a0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Gao, Jimin, Mike Whalen, and Eric Van Wyk. "Extending Lustre with Timeout Automata." Electronic Notes in Theoretical Computer Science 203, no. 4 (June 2008): 111–24. http://dx.doi.org/10.1016/j.entcs.2008.05.014.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Cheng, Wen, Chunyan Li, Lingfang Zeng, Yingjin Qian, Xi Li, and André Brinkmann. "NVMM-Oriented Hierarchical Persistent Client Caching for Lustre." ACM Transactions on Storage 17, no. 1 (February 2, 2021): 1–22. http://dx.doi.org/10.1145/3404190.

Full text

Abstract:

In high-performance computing (HPC), data and metadata are stored on special server nodes and client applications access the servers’ data and metadata through a network, which induces network latencies and resource contention. These server nodes are typically equipped with (slow) magnetic disks, while the client nodes store temporary data on fast SSDs or even on non-volatile main memory (NVMM). Therefore, the full potential of parallel file systems can only be reached if fast client side storage devices are included into the overall storage architecture. In this article, we propose an NVMM-based hierarchical persistent client cache for the Lustre file system (NVMM-LPCC for short). NVMM-LPCC implements two caching modes: a read and write mode (RW-NVMM-LPCC for short) and a read only mode (RO-NVMM-LPCC for short). NVMM-LPCC integrates with the Lustre Hierarchical Storage Management (HSM) solution and the Lustre layout lock mechanism to provide consistent persistent caching services for I/O applications running on client nodes, meanwhile maintaining a global unified namespace of the entire Lustre file system. The evaluation results presented in this article show that NVMM-LPCC can increase the average read throughput by up to 35.80 times and the average write throughput by up to 9.83 times compared with the native Lustre system, while providing excellent scalability.

APA, Harvard, Vancouver, ISO, and other styles

22

Traynor, Daniel, and Terry Froy. "Using Lustre and Slurm to process Hadoop workloads and extending to the WLCG." EPJ Web of Conferences 214 (2019): 04049. http://dx.doi.org/10.1051/epjconf/201921404049.

Full text

Abstract:

The Queen Mary University of London Grid site has investigated the use of its Lustre file system to support Hadoop work flows. Lustre is an open source, POSIX compatible, clustered file system often used in high performance computing clusters and is often paired with the Slurm batch system. Hadoop is an open-source software framework for distributed storage and processing of data normally run on dedicated hardware utilising the HDFS file system and Yarn batch system. Hadoop is an important modern tool for data analytics used by a large range of organisation including CERN. By using our existing Lustre file system and Slurm batch system, the need to have dedicated hardware is removed and a single platform only has to be maintained for data storage and processing. The motivation and benefits of using Hadoop with Lustre and Slurm are presented. The installation, benchmarks, limitations and future plans are discussed. We also investigate using the standard WLCG Grid middleware Cream-CE service to provide a Grid enabled Hadoop service.

APA, Harvard, Vancouver, ISO, and other styles

23

Bourke, Timothy, Paul Jeanmaire, Basile Pesin, and Marc Pouzet. "Verified Lustre Normalization with Node Subsampling." ACM Transactions on Embedded Computing Systems 20, no. 5s (October 31, 2021): 1–25. http://dx.doi.org/10.1145/3477041.

Full text

Abstract:

Dataflow languages allow the specification of reactive systems by mutually recursive stream equations, functions, and boolean activation conditions called clocks. Lustre and Scade are dataflow languages for programming embedded systems. Dataflow programs are compiled by a succession of passes. This article focuses on the normalization pass which rewrites programs into the simpler form required for code generation. Vélus is a compiler from a normalized form of Lustre to CompCert’s Clight language. Its specification in the Coq interactive theorem prover includes an end-to-end correctness proof that the values prescribed by the dataflow semantics of source programs are produced by executions of generated assembly code. We describe how to extend Vélus with a normalization pass and to allow subsampled node inputs and outputs. We propose semantic definitions for the unrestricted language, divide normalization into three steps to facilitate proofs, adapt the clock type system to handle richer node definitions, and extend the end-to-end correctness theorem to incorporate the new features. The proofs require reasoning about the relation between static clock annotations and the presence and absence of values in the dynamic semantics. The generalization of node inputs requires adding a compiler pass to ensure the initialization of variables passed in function calls.

APA, Harvard, Vancouver, ISO, and other styles

24

Bourke, Timothy, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, and Lionel Rieg. "A formally verified compiler for Lustre." ACM SIGPLAN Notices 52, no. 6 (September 14, 2017): 586–601. http://dx.doi.org/10.1145/3140587.3062358.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Ng, Ka Po. "Hong Kong: A Pearl Losing Lustre." Political Insight 11, no. 4 (November 19, 2020): 16–17. http://dx.doi.org/10.1177/2041905820978835.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Takahashi, Kohske, Haruaki Fukuda, Katsumi Watanabe, and Kazuhiro Ueda. "Scintillating Lustre Induced by Radial Fins." i-Perception 3, no. 2 (January 2012): 101–3. http://dx.doi.org/10.1068/i0488sas.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Alvarez, David. "FADED LUSTRE: VATICAN CRYPTOGRAPHY, 1815–1920." Cryptologia 20, no. 2 (April 1996): 97–131. http://dx.doi.org/10.1080/0161-119691884825.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Tripakis, Stavros, Christos Sofronis, Paul Caspi, and Adrian Curic. "Translating discrete-time simulink to lustre." ACM Transactions on Embedded Computing Systems 4, no. 4 (November 2005): 779–818. http://dx.doi.org/10.1145/1113830.1113834.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Galli, A., M. Martini, E. Sibilia, G. Padeletti, and P. Fermo. "Luminescence properties of lustre decorated majolica." Applied Physics A 79, no. 2 (July 2004): 293–97. http://dx.doi.org/10.1007/s00339-004-2517-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Molina, Gloria, Michael S. Tite, Judit Molera, Aurelio Climent-Font, and Trinitat Pradell. "Technology of production of polychrome lustre." Journal of the European Ceramic Society 34, no. 10 (September 2014): 2563–74. http://dx.doi.org/10.1016/j.jeurceramsoc.2014.03.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Joshi, H. D., D. H. Joshi, and R. S. Gandhi. "Lustre evaluation-still an uphill task." Journal of the Society of Dyers and Colourists 110, no. 10 (October 22, 2008): 348–50. http://dx.doi.org/10.1111/j.1478-4408.1994.tb01595.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

du Bousquet, Lydie, and Michel Delaunay. "Towards Mutation Analysis for Lustre Programs." Electronic Notes in Theoretical Computer Science 203, no. 4 (June 2008): 35–48. http://dx.doi.org/10.1016/j.entcs.2008.05.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Dobreva, Tsvetelina. "Study of drought tolerance of winter oat varieties." Agricultural Sciences 15, no. 39 (December 21, 2023): 45–50. http://dx.doi.org/10.22620/agrisci.2023.39.004.

Full text

Abstract:

This research was conducted during the period 2019-2021 at the Institute of Agriculture in Karnobat, Bulgaria. In order to establish suitable parents for a selection of drought resistant varieties, twelve accessions of introduced winter oats were studied. The genetic similarity and distance of the accessions was determined by means of cluster analysis. The highest drought resistance was exhibited by varieties Lustre, Image, Westfinnischer Schwarz, Powys, Lee and Fulghum . A good combination of drought resistance, grain weight per spike and 1000-grain weight was found for Lustre, Image and the Heros variety was from the accessions group with medium drought resistance. The cluster analysis revealed that the promising combinations can be obtained by crossing varieties from the most remote clusters, such as Lustre (first cluster) with varieties Panema, Roanoke, and Winter Turf from the third cluster. Keywords: winter oats, accessions, drought resistance, productivity, cluster analysis

APA, Harvard, Vancouver, ISO, and other styles

34

Bordeau, Jeanne. "Redonner du lustre à la communication orale." L'Expansion Management Review N° 122, no. 3 (2006): 36. http://dx.doi.org/10.3917/emr.122.0036.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Jarjis, Raik. "Ion-Beam Archaeometry of Islamic Lustre Glazes." Key Engineering Materials 132-136 (April 1997): 1434–37. http://dx.doi.org/10.4028/www.scientific.net/kem.132-136.1434.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Halbwachs, N., P. Caspi, P. Raymond, and D. Pilaud. "The synchronous data flow programming language LUSTRE." Proceedings of the IEEE 79, no. 9 (1991): 1305–20. http://dx.doi.org/10.1109/5.97300.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Wu, Y., B. Kim, P. Avery, Y. Fu, D. Bourilkov, C. Taylor, C. Prescott, and J. Rodriguez. "Lustre filesystem for CMS storage element (SE)." Journal of Physics: Conference Series 331, no. 5 (December 23, 2011): 052034. http://dx.doi.org/10.1088/1742-6596/331/5/052034.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Caspi, Paul, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, and Peter Niebert. "From simulink to SCADE/lustre to TTA." ACM SIGPLAN Notices 38, no. 7 (July 11, 2003): 153–62. http://dx.doi.org/10.1145/780731.780754.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Walker, C. J., D. P. Traynor, and A. J. Martin. "Scalable Petascale Storage for HEP using Lustre." Journal of Physics: Conference Series 396, no. 4 (December 13, 2012): 042063. http://dx.doi.org/10.1088/1742-6596/396/4/042063.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

KgaA, Merck. "Pearl lustre pigments give plastics an edge." Plastics, Additives and Compounding 2, no. 11 (November 2000): 30–31. http://dx.doi.org/10.1016/s1464-391x(00)80095-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Morel, Lionel. "Efficient compilation of array iterators for Lustre." Electronic Notes in Theoretical Computer Science 65, no. 5 (July 2002): 19–26. http://dx.doi.org/10.1016/s1571-0661(05)80437-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Duong, Diana. "Are health care careers losing their lustre?" Canadian Medical Association Journal 194, no. 43 (November 6, 2022): E1489—E1490. http://dx.doi.org/10.1503/cmaj.1096024.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Lakehal, Abdesselam, and Ioannis Parissis. "Structural coverage criteria for LUSTRE/SCADE programs." Software Testing, Verification and Reliability 19, no. 2 (June 2009): 133–54. http://dx.doi.org/10.1002/stvr.394.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Shi, Xiao Tao, Ting Zhang, Xue Yun Fan, and Huang Zhong. "Study on Low-Temperature Fast-Firing CuO-MnO₂-TiO₂-NiO with Oxidizing Flame in the Preparation Process of Metallic Lustre Artistic Glaze Optimization." Advanced Materials Research 415-417 (December 2011): 1017–22. http://dx.doi.org/10.4028/www.scientific.net/amr.415-417.1017.

Full text

Abstract:

Abstract. The subject is mainly about making metallic lustre glaze at a low temperature with the basic glaze of lead frit and the nucleation agent of metallic oxides of CuO-MnO2-TiO2-NiO. It makes a study on the effect on the metallic lustre glaze through observing the process factors like the formula of glaze, the content of additive, the thickness of the glaze and the firing system. The results show that the optimum formula is Mn and Cu,The mass ratio of TiO2 ,NiO and CeO2 is respectively 4, 16%, 4.5% and 4.5%.

APA, Harvard, Vancouver, ISO, and other styles

45

Lee, Jaehwan, Donghun Koo, Kyungmin Park, Jiksoo Kim, and Soonwook Hwang. "Performance Analysis of Lustre File System using High Performance Storage Devices." KIISE Transactions on Computing Practices 22, no. 4 (April 15, 2016): 163–69. http://dx.doi.org/10.5626/ktcp.2016.22.4.163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Przylipiak, Mirosław. "W poszukiwaniu siebie. Biograficzny dyptyk Łozińskich w kontekście Lacanowskiej fazy lustra." Kwartalnik Filmowy, no. 118 (August 11, 2022): 21–41. http://dx.doi.org/10.36744/kf.1198.

Full text

Abstract:

W filmach Ojciec i syn (2013) Pawła Łozińskiego oraz Ojciec i syn w podróży (2013) Marcela Łozińskiego znajduje się ujęcie z archiwum rodzinnego: ojciec stoi przed lustrem, trzymając w jednym ręku kamerę, którą filmuje, a drugą przytrzymując kilkumiesięcznego synka. Ujęcie to wydaje się wręcz idealnie ilustrować Lacanowską koncepcję fazy lustra, wedle której wraz z momentem rozpoznania siebie w lustrze dziecko nabiera poczucia własnej odrębności, a zarazem separacji od opiekuna. Celem niniejszego artykułu jest przeanalizowanie tego ujęcia przez pryzmat Lacanowskiej koncepcji, przy uwzględnieniu montażowych kontekstów każdego z dwóch filmów.

APA, Harvard, Vancouver, ISO, and other styles

47

Guglieri Rodriguez, C., P. Fermo, L. Olivi, and G. Padeletti. "A comparative study of Hispano-Moorish and Italian Renaissance lustred majolicas by using X-ray absorption spectroscopy." Journal of Analytical Atomic Spectrometry 30, no. 3 (2015): 738–44. http://dx.doi.org/10.1039/c4ja00382a.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Brun, Lélio, Christophe Garion, Pierre-Loïc Garoche, and Xavier Thirioux. "Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation." ACM Transactions on Embedded Computing Systems 22, no. 5s (September 9, 2023): 1–24. http://dx.doi.org/10.1145/3609393.

Full text

Abstract:

Model-based design tools like SCADE Suite and Simulink are often used to design safety-critical embedded software. Consequently, generating correct code from such models is crucial. We tackle this challenge on Lustre, a dataflow synchronous language that embodies the concepts that base such tools. Instead of proving correct a whole code generator, we turn an existing compiler into a certifying compiler from Lustre to C, following a translation validation approach. We propose a solution that generates both C code and an attached specification expressing a correctness result for the generated and optionally optimized code. The specification yields proof obligations that are discharged by external solvers through the Frama-C platform.

APA, Harvard, Vancouver, ISO, and other styles

49

Marsso, Lina. "Specifying a Cryptographical Protocol in Lustre and SCADE." Electronic Proceedings in Theoretical Computer Science 316 (April 26, 2020): 149–99. http://dx.doi.org/10.4204/eptcs.316.7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Pinna, Baingio, Lothar Spillmann, and Walter H. Ehrenstein. "Scintillating Lustre and Brightness Induced by Radial Lines." Perception 31, no. 1 (January 2002): 5–16. http://dx.doi.org/10.1068/p3281.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Lustre'

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