Journal articles on the topic 'Lustre programs'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 48 journal articles for your research on the topic 'Lustre programs.'
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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
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 (2017): 2635. http://dx.doi.org/10.11591/ijece.v7i5.pp2635-2644.
Full textNguyen, Thanh Binh, Cong Duy Trinh, and Parissis Ioannis. "LusRegTes: A Regression Testing Tool for Lustre Programs." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 5 (2017): 2635–44. https://doi.org/10.11591/ijece.v7i5.pp2635-2644.
Full textdu Bousquet, Lydie, and Michel Delaunay. "Towards Mutation Analysis for Lustre Programs." Electronic Notes in Theoretical Computer Science 203, no. 4 (2008): 35–48. http://dx.doi.org/10.1016/j.entcs.2008.05.009.
Full textLakehal, Abdesselam, and Ioannis Parissis. "Structural coverage criteria for LUSTRE/SCADE programs." Software Testing, Verification and Reliability 19, no. 2 (2009): 133–54. http://dx.doi.org/10.1002/stvr.394.
Full textBourke, Timothy, Paul Jeanmaire, Basile Pesin, and Marc Pouzet. "Verified Lustre Normalization with Node Subsampling." ACM Transactions on Embedded Computing Systems 20, no. 5s (2021): 1–25. http://dx.doi.org/10.1145/3477041.
Full textFranzén, Anders. "Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs." Electronic Notes in Theoretical Computer Science 144, no. 1 (2006): 19–33. http://dx.doi.org/10.1016/j.entcs.2005.07.017.
Full textDuy, Trinh Cong, Nguyen Thanh Binh, and Ioannis Parissis. "Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs." Journal of Software Engineering and Applications 06, no. 10 (2013): 27–35. http://dx.doi.org/10.4236/jsea.2013.610a004.
Full textLin, Shaokai, Yatin A. Manerkar, Marten Lohstroh, et al. "Towards Building Verifiable CPS using Lingua Franca." ACM Transactions on Embedded Computing Systems 22, no. 5s (2023): 1–24. http://dx.doi.org/10.1145/3609134.
Full textPompougnac, Hugo, Ulysse Beaugnon, Albert Cohen, and Dumitru Potop Butucaru. "Weaving Synchronous Reactions into the Fabric of SSA-form Compilers." ACM Transactions on Architecture and Code Optimization 19, no. 2 (2022): 1–25. http://dx.doi.org/10.1145/3506706.
Full textArehart-Treichel, Joan. "Programs Try to Restore Luster To Psychodynamic Psychotherapy." Psychiatric News 39, no. 12 (2004): 35–44. http://dx.doi.org/10.1176/pn.39.12.0390035.
Full textGonzález Consuegra, Renata Virginia. "Enfermería UN: a UN lustro del centenario." Avances en Enfermería 33, no. 3 (2016): 420–33. http://dx.doi.org/10.15446/av.enferm.v33n3.54019.
Full textGiżycki, Marcin. "Utracony wymiar." Kwartalnik Filmowy, no. 86 (June 30, 2014): 209–12. http://dx.doi.org/10.36744/kf.2425.
Full textSotnikov, B., T. Sologubova, and E. Kondrateva. "Exploration of psychoemotional state of medical students of Kyrgyz-Russian Slavic University." Bulletin of Science and Practice 4, no. 7 (2018): 497–502. https://doi.org/10.5281/zenodo.1312485.
Full textGwóźdź, Andrzej. "„Po prostu włącz”. Strumieniowanie jako praktyka technokulturowa." Kwartalnik Filmowy, no. 124 (December 28, 2023): 6–26. http://dx.doi.org/10.36744/kf.1815.
Full textFortunato, Ivan. "Meio-ambiente ou (meio-ambiente): o desafio da educação frente ao paradoxo ambiental." ETD - Educação Temática Digital 16, no. 3 (2014): 386. http://dx.doi.org/10.20396/etd.v16i3.1304.
Full textLeonard, Clarisa. "Nuevas derechas anti-género:." Perspectivas Revista de Ciencias Sociales 7, no. 13 (2022): 509–27. http://dx.doi.org/10.35305/prcs.v7i13.611.
Full textRestrepo Botero, Darío I. "Bolivia: De la crisis económica al ciclo rebelde, 2000-2005." Anuario Colombiano de Historia Social y de la Cultura 43, no. 1 (2016): 295–322. http://dx.doi.org/10.15446/achsc.v43n1.55072.
Full textBedoya Herrera, Oscar Mauricio, Marcelo López Trujillo, and Carlos Eduardo Marulanda Echeverry. "Modelo predictivo para la identificación de factores socioculturales asociados al tiempo de búsqueda del primer empleo en egresados universitarios." Revista Virtual Universidad Católica del Norte, no. 58 (October 2019): 3–18. http://dx.doi.org/10.35575/rvucn.n58a6.
Full textSoni, Ayushi, and Stuti Sharma. "DUS Trait Evaluation in Urdbean Genotypes: Implications for Breeding through Morphological Markers." Journal of Scientific Research and Reports 31, no. 2 (2025): 144–60. https://doi.org/10.9734/jsrr/2025/v31i22832.
Full textCasola, Natalia Laura. "Rojo carmín. La Federación Democrática Internacional de Mujeres y la Unión de Mujeres de la Argentina entre 1975 y 1991." HISPANIA NOVA. Primera Revista de Historia Contemporánea on-line en castellano. Segunda Época, no. 1 (February 22, 2024): 79–99. http://dx.doi.org/10.20318/hn.2024.8185.
Full textOchoa Ochoa, Ramiro Bolívar. "Inserción de la mujer en el periodismo deportivo ecuatoriano." Killkana Social 5, no. 2 (2021): 17–28. http://dx.doi.org/10.26871/killkanasocial.v5i2.868.
Full textDíez Martínez, Daniel. "Hacia Arts & Architecture La revolución editorial de John Entenza (1938-1945)." Cuaderno de Notas, no. 19 (July 31, 2018): 1. http://dx.doi.org/10.20868/cn.2018.3813.
Full textUribe Ardila, Alfredo. "Enfermedades huérfanas en Colombia: una panorámica a través de los errores innatos del metabolismo." Revista Med 26, no. 2 (2019): 5–6. http://dx.doi.org/10.18359/rmed.4432.
Full textSallam, Ahmed M., Aymen A. Gad-Allah, and Essam M. Albetar. "Genetic variation in the ovine KAP22-1 gene and its effect on wool traits in Egyptian sheep." Archives Animal Breeding 65, no. 3 (2022): 293–300. http://dx.doi.org/10.5194/aab-65-293-2022.
Full textBishara, Isaac, Xuan Liu, Jason l. Griffiths, et al. "Abstract 5133: End-stage breast cancer metastases manifest as two subtypes with distinct dissemination patterns, proliferation/EMT signatures, and immune microenvironments." Cancer Research 85, no. 8_Supplement_1 (2025): 5133. https://doi.org/10.1158/1538-7445.am2025-5133.
Full textGarcía-Valdecasas Bernal, Juan. "AUDITIO: el renovado journal de la Asociación Española de Audiología." Auditio 5, no. 2 (2021): 35–36. http://dx.doi.org/10.51445/sja.auditio.vol5.2021.0064.
Full textAnfang, Günther. "Alter Wein in neuen Schläuchen." merz | medien + erziehung 55, no. 5 (2011): 82–83. http://dx.doi.org/10.21240/merz/2011.5.26.
Full textWütscher, Swenja. "Für Kinder, die stark sein müssen." merz | medien + erziehung 57, no. 3 (2013): 69–73. http://dx.doi.org/10.21240/merz/2013.3.16.
Full textLohfink, Nicole, and Markus Achatz. "Filmfestival inmitten gesellschaftlicher Krisen - Berlinale 2023." merz | medien + erziehung 67, no. 2 (2023): 79–84. http://dx.doi.org/10.21240/merz/2023.2.17.
Full textGrimm, Lena, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, and Marc Pouzet. "From Lustre to Graphical Models and SCCharts." ACM Transactions on Embedded Computing Systems, July 29, 2022. http://dx.doi.org/10.1145/3544973.
Full textTipu, Abdul Jabbar Saeed, Pádraig Ó. Conbhuí, and Enda Howley. "Artificial neural networks based predictions towards the auto-tuning and optimization of parallel IO bandwidth in HPC system." Cluster Computing, December 9, 2022. http://dx.doi.org/10.1007/s10586-022-03814-w.
Full textPignuoli Ocampo, Sergio. "El programa sociológico de Niklas Luhmann y su contexto." Revista Mexicana de Sociología 77, no. 2 (2015). https://doi.org/10.22201/iis.01882503p.2015.2.48247.
Full textRODRÍGUEZ GARAVITO, CÉSAR A. "Globalización, reforma judicial y Estado de derecho en Colombia y América Latina: el regreso de los programas de derecho y desarrollo." IUSTA 1, no. 24 (2016). http://dx.doi.org/10.15332/s1900-0448.2006.0024.09.
Full textMeghna 'Chili' Pramoda, Siona 'Dolly' Pramoda, and Zacha M. Ortiz Correa. "Luster Regained : A Novel Cyber Incident Risk Prediction Model Using Machine Learning." International Journal of Scientific Research in Computer Science, Engineering and Information Technology, June 20, 2022, 01–19. http://dx.doi.org/10.32628/cseit2283125.
Full textJuan Sordo. "Científicos sociales doctorados en el noreste de México. Desarrollo y reconocimiento recientes." Revista Educación Superior y Sociedad (ESS) 34, no. 1 (2022). http://dx.doi.org/10.54674/ess.v34i1.536.
Full textChávez-Flores, Ian Yetlanezi. "Una historia de la política migratoria guatemalteca de 1980 a los primeros años del siglo XXI." La Colmena, September 22, 2020, 75. http://dx.doi.org/10.36677/lacolmena.v0i107.13767.
Full textGonzalez Fraga, Juan David, Gustavo Gaona Vargas, Diego Juarez Bolanos, and Ernesto Ponce Rodriguez. "Diseño e Implementación de la Licenciatura en Educación Multigrado en México: Aportes a la Formación Inicial Docente." Revista Brasileira de Educação do Campo, 2023, 1–23. http://dx.doi.org/10.20873/uft.rbec.e15233.
Full textJiménez-Morales, Manel. "The viewers’ judgement about television reality narratives." Comunicar 13, no. 25 (2005). http://dx.doi.org/10.3916/c25-2005-049.
Full textThurman, Deborah. "Diversity Aesthetics: Figuring the Fate of DEI in Contemporary Black Office Fiction." American Literature, July 4, 2025. https://doi.org/10.1215/00029831-11934280.
Full textAltamirano Vaca, Jacqueline, Gabriela Fajardo Suárez, and Cristina Velásquez Flores. "Diseño, desarrollo e implementación de carreras en línea, caso Universidad Central del Ecuador." LATAM Revista Latinoamericana de Ciencias Sociales y Humanidades 4, no. 2 (2023). http://dx.doi.org/10.56712/latam.v4i2.674.
Full textGallardo-Salazar, José Luis, Marín Pompa-García, Carlos Arturo Aguirre-Salado, Pablito Marcelo López-Serrano, and Arnulfo Meléndez-Soto. "Drones: tecnología con futuro promisorio en la gestión forestal." Revista Mexicana de Ciencias Forestales 11, no. 61 (2020). http://dx.doi.org/10.29298/rmcf.v11i61.794.
Full textCallixte, NZARIKURIKIZA, and Xavier NGABONZIMA Francois. "Association between Psychosocial Needs, Negative Lust Behaviour with Sexual Risk Behaviours among Young Girls Living in Kigali, Rwanda." September 2, 2021. https://doi.org/10.5281/zenodo.5386603.
Full textHinner, Kajetan. "Statistics of Major IRC Networks." M/C Journal 3, no. 4 (2000). http://dx.doi.org/10.5204/mcj.1867.
Full textBehm Rosas, Hugo. "Los determinantes de la mortalidad y las diferencias socioeconómicas de la mortalidad en la infancia." Población y Salud en Mesoamérica, July 1, 2014. http://dx.doi.org/10.15517/psm.v12i1.15141.
Full textLutz, Klaus. "Das Handy im Halfter." merz | medien + erziehung, October 1, 2021. https://doi.org/10.21240/merz/2023.swipe.21.
Full textBellanta, Melissa. "Voting for Pleasure, Or a View from a Victorian Theatre Gallery." M/C Journal 10, no. 6 (2008). http://dx.doi.org/10.5204/mcj.2715.
Full textBellanta, Melissa. "Voting for Pleasure, Or a View from a Victorian Theatre Gallery." M/C Journal 11, no. 1 (2008). http://dx.doi.org/10.5204/mcj.22.
Full textMules, Warwick. "That Obstinate Yet Elastic Natural Barrier." M/C Journal 4, no. 5 (2001). http://dx.doi.org/10.5204/mcj.1936.
Full text