Search results for "lustre"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
133	Weikuan Yu, Ranjit Noronha, Shuang Liang, Dhabaleswar K. Panda 0001	Benefits of high speed interconnects to cluster file systems: a case study with Lustre.	IPDPS	2006	DBLP DOI BibTeX RDF
113	Phillip M. Dickens, Jeremy Logan	Towards a High Performance Implementation of MPI-IO on the Lustre File System.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	Parallel I/O, Parallel File Systems, MPI-IO, Lustre, Collective I/O
113	Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert	From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.	LCTES	2003	DBLP DOI BibTeX RDF	scheduling, embedded software, synchronous languages, simulink, lustre, code distribution
91	Weikuan Yu, Oleg Drokin, Jeffrey S. Vetter	Design, implementation, and evaluation of transparent pNFS on Lustre.	IPDPS	2009	DBLP DOI BibTeX RDF
91	Jeremy Logan, Phillip M. Dickens	Towards an understanding of the performance of MPI-IO in Lustre file systems.	CLUSTER	2008	DBLP DOI BibTeX RDF
85	Phillip M. Dickens, Jeremy Logan	Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment.	HPDC	2009	DBLP DOI BibTeX RDF	romio, parallel i/o, lustre, collective i/o
85	Frédéric Rocheteau	Extension du langage LUSTRE et application à la conception de circuits : le langage LUSTRE-V4 et le système POLLUX. (Extension of the lustre language and application to hardware design : the lustre-v4 language and the pollux system).		1992	RDF
77	Yufeng Guo, Xuejun Yang, Li Luo, Qiong Li, Lu Liu	High Performance Support of Lustre over Customized HSNI for HPC.	APPT	2009	DBLP DOI BibTeX RDF
77	Weikuan Yu, Jeffrey S. Vetter, Shane Canon, Song Jiang 0001	Exploiting Lustre File Joining for Effective Collective IO.	CCGRID	2007	DBLP DOI BibTeX RDF
77	Alain Girault, Xavier Nicollin	Clock-Driven Automatic Distribution of Lustre Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF	synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution
71	Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi	Defining and translating a "safe" subset of simulink/stateflow into lustre.	EMSOFT	2004	DBLP DOI BibTeX RDF	embedded software, simulink, lustre, automatic translation
71	Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel	Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	data-flow language LUSTRE, synchronous data-flow language, critical real-time systems, ergonomy, dataflow approach, traditional description tools, verification tool LESAR, critical properties, real-time systems, parallel programming, program verification, program verification, parallel languages, verification methods, formal design
64	Claus Traulsen, Reinhard von Hanxleden	Reactive parallel processing for synchronous dataflow.	SAC	2010	DBLP DOI BibTeX RDF	Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre
63	Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis	Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators.	FMICS	2008	DBLP DOI BibTeX RDF
63	George Hagen, Cesare Tinelli	Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques.	FMCAD	2008	DBLP DOI BibTeX RDF
63	Abdesselam Lakehal, Ioannis Parissis	Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs.	ISSRE	2005	DBLP DOI BibTeX RDF
63	Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber 0017	Formal Design of Distributed Control Systems with Lustre.	SAFECOMP	1999	DBLP DOI BibTeX RDF
57	Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic	Translating discrete-time simulink to lustre.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Code generation, embedded software, Simulink, Lustre
50	Sophie Dupuy, Lydie du Bousquet	A Multi-formalism Approach for the Validation of UML Models.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism
49	Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond	Synchronous objects with scheduling policies: introducing safe shared memory in lustre.	LCTES	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams
49	Juan Piernas, Jarek Nieplocha, Evan J. Felix	Evaluation of active storage strategies for the lustre parallel file system.	SC	2007	DBLP DOI BibTeX RDF
49	Bruno Marre, Agnès Arnould	Test Sequences Generation from LUSTRE Descriptions: GATeL.	ASE	2000	DBLP DOI BibTeX RDF
43	Karine Altisen, Matthieu Moy	ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre.	ECRTS	2010	DBLP DOI BibTeX RDF	Modular Performance Analysis, Formal methods, Observer, Lustre, Real-Time Calculus
42	John Fragalla, Bill Loewe, Torben Kling Petersen	New Lustre features to improve Lustre metadata and small-file performance.	Concurr. Comput. Pract. Exp.	2020	DBLP DOI BibTeX RDF
42	Patrick Webb	Installation of an External Lustre Filesystem using Cray esMS management and Lustre 1.8.6.	LISA	2013	DBLP BibTeX RDF
42	Cédric Auger	Compilation certifiée de SCADE/LUSTRE. (Certified compilation of SCADE/LUSTRE).		2013	RDF
42	Virginia Papailiopoulou	Automatic testing of Lustre/SCADE programs. (Test automatique de programmes Lustre/SCADE).		2010	RDF
42	Abdesselam Lakehal	Critères de couverture structurelle pour les programmes Lustre. (Strurtural coverage criteria for Lustre programs).		2006	RDF
42	Jan Mikác	Raffinement et preuves de systèmes Lustre. (Refinements and Proofs of Lustre Systems).		2005	RDF
42	Lydie du Bousquet	Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. (Statistical functional testing of systems specified in Lustre; application to the validation of telecommunication features).		1999	RDF
42	Ioannis Parissis	Test de logiciels synchrones spécifiés en Lustre. (Testing synchronous software specified in Lustre).		1996	RDF
42	Christophe Ratel	Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE. (Design and implementation of a formal verification tool for lustre programs : the system Lesar).		1992	RDF
42	Bachir Berkane	Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar. (Verification of synchronous sequential digital hardware systems. Application of the langage Lustre and the verification tool Lesar).		1992	RDF
42	Pascal Raymond	Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3. (Efficient Compilation of a Declarative Synchronous Language:the Lustre-V3 Code Generator).		1991	RDF
42	Mazen Al Mahrous	Génération de test fonctionnel de circuits digitaux décrits avec un langage déclaratif : Lustre. (Functional test generation of digital circuits described using the data-flow language : Lustre).		1990	RDF
42	Jean-Louis Bergerand	LUSTRE : un langage déclaratif pour le temps réel. (LUSTRE: a real time declarative language).		1986	RDF
42	Florence Maraninchi, Yann Rémond, Yannick Raoul	MATOU: An Implementation of Mode-Automata.	CC	2000	DBLP DOI BibTeX RDF
42	Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet	On Statistical Structural Testing of Synchronous Data Flow Programs.	EDCC	1994	DBLP DOI BibTeX RDF
36	Yingjin Qian, Eric Barton, Tom Wang, Nirant Puntambekar, Andreas Dilger	A Novel network request scheduler for a large scale storage system.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	Network Request Scheduler, QoS, Storage system, Large scale, Lustre
36	Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis	Modeling synchronous systems in BIP.	EMSOFT	2009	DBLP DOI BibTeX RDF	BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre
36	Steven M. Carter, Makia Minich, Nageswara S. V. Rao	Experimental evaluation of infiniband transport over local- and wide-area networks.	SpringSim (2)	2007	DBLP BibTeX RDF	Lustre file system, wide-area connections, storage system, supercomputers, Infiniband
36	Jean-Louis Colaço, Marc Pouzet	Type-based initialization analysis of a synchronous dataflow language.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre
36	Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels	Robustness analysis of avionics embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	accuracy analysis, avionics embedded systems, lustre specifications, abstract interpretation, safety analysis
35	Nicolas Halbwachs	A synchronous language at work: the story of Lustre.	MEMOCODE	2005	DBLP DOI BibTeX RDF
35	Simone Tini	Timed CCP compositionally embeds Argos and Lustre.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages
35	Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis	Translating Discrete-Time Simulink to Lustre.	EMSOFT	2003	DBLP DOI BibTeX RDF
35	Sophie Dupuy-Chessa, Lydie du Bousquet	Validation of UML Models Thanks to Z and Lustre.	FME	2001	DBLP DOI BibTeX RDF
35	Cécile Canovas-Dumas, Paul Caspi	A PVS Proof Obligation Generator for Lustre Programs.	LPAR	2000	DBLP DOI BibTeX RDF
35	Frédéric Rocheteau, Nicolas Halbwachs	Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE.	REX Workshop	1991	DBLP DOI BibTeX RDF	Reactive systems, synchronous languages, silicon compilation
35	Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice	Lustre: A Declarative Language for Programming Synchronous Systems.	POPL	1987	DBLP DOI BibTeX RDF
28	Jacob Leverich, Christos Kozyrakis	On the energy (in)efficiency of Hadoop clusters.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
28	Marc Pouzet, Pascal Raymond	Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation.	EMSOFT	2009	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders
28	Himanshu Raj, Karsten Schwan	O2S2: enhanced object-based virtualized storage.	ACM SIGOPS Oper. Syst. Rev.	2008	DBLP DOI BibTeX RDF
28	Chao Wang 0056, Zhe Zhang 0005, Sudharshan S. Vazhkudai, Xiaosong Ma, Frank Mueller 0001	On-the-Fly Recovery of Job Input Data in Supercomputers.	ICPP	2008	DBLP DOI BibTeX RDF
28	Peter J. Braam	Scalable locking and recovery for network file systems.	PDSW	2007	DBLP DOI BibTeX RDF	clusters, recovery, congestion, locking, petascale
28	Michael A. Bauer 0001	High performance computing: the software challenges.	PASCO	2007	DBLP DOI BibTeX RDF
28	Ke Zhou 0001, Chun-hua Li, Dan Feng 0001, Yang Wang 0006, Liang Lu, Yong-guang Ji	A Distributed Object Tracing System.	IWNAS	2006	DBLP DOI BibTeX RDF
28	Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet	Mode-Automata Based Methodology for Scade.	HSCC	2005	DBLP DOI BibTeX RDF
28	Jean-Louis Colaço, Bruno Pagano, Marc Pouzet	A conservative extension of synchronous data-flow with state machines.	EMSOFT	2005	DBLP DOI BibTeX RDF	clock calculus, compilation, typing, heterogeneous systems, synchronous languages
28	Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund	Designing Safe, Reliable Systems Using Scade.	ISoLA	2004	DBLP DOI BibTeX RDF
28	Florence Maraninchi, Yann Rémond	Running-modes of real-time systems: a case-study with mode-automata.	ECRTS	2000	DBLP DOI BibTeX RDF
28	Simin Nadjm-Tehrani	Integration of Analog and Discrete Synchronous Design.	HSCC	1999	DBLP DOI BibTeX RDF
28	Nicolas Halbwachs, Pascal Raymond	Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing.	ASIAN	1999	DBLP DOI BibTeX RDF
28	Agathe Merceron, Monika Müllerburg, G. Michele Pinna	Verifying a Time-Triggered Protocol in a Multi-language Environment.	SAFECOMP	1998	DBLP DOI BibTeX RDF
28	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
28	Nicolas Halbwachs, Pascal Raymond, Christophe Ratel	Generating Efficient Code From Data-Flow Programs.	PLILP	1991	DBLP DOI BibTeX RDF
28	Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory	Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
22	Wei-keng Liao	Design and Evaluation of MPI File Domain Partitioning Methods under Extent-Based File Locking Protocol.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	file locking, GPFS, Parallel I/O, parallel file system, MPI-IO, Lustre
22	Stephen A. Edwards	Tutorial: Compiling concurrent languages for sequential processors.	ACM Trans. Design Autom. Electr. Syst.	2003	DBLP DOI BibTeX RDF	communication, Petri nets, Compilation, concurrency, code generation, partial evaluation, dataflow, Verilog, Esterel, sequential, Lustre, discrete-event
22	Bruno d'Ausbourg	Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord.	IHM	2002	DBLP DOI BibTeX RDF	flight deck equipments, verification, interaction, formal languages, intentions, lustre
22	Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon	Lutess: A Specification-Driven Testing Environment for Synchronous Software.	ICSE	1999	DBLP DOI BibTeX RDF	synchronous reactive software, automated testing, operational profiles, Lustre, telecommunications systems, behavioral patterns
22	Ioannis Parissis, Farid Ouabdesselam	Specification-based Testing of Synchronous Software.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	Lustre
22	Thomas P. Jensen	Clock Analysis of Synchronous Dataflow Programs.	PEPM	1995	DBLP DOI BibTeX RDF	Lustre
21	Jiwoo Bang, Chungyong Kim, Eun-Kyu Byun, Hanul Sung, Jaehwan Lee 0001, Hyeonsang Eom	Accelerating I/O performance of ZFS-based Lustre file system in HPC environment.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
21	Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux	Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
21	Sayed Erfan Arefin	Auditing Lustre file system.	CoRR	2023	DBLP DOI BibTeX RDF
21	Cheongjun Lee, Jaehwan Lee 0001, Chungyong Kim, Jiwoo Bang, Eun-Kyu Byun, Hyeonsang Eom	I/O separation scheme on Lustre metadata server based on multi-stream SSD.	Clust. Comput.	2023	DBLP DOI BibTeX RDF
21	Yingjin Qian, Wen Cheng, Lingfang Zeng, Xi Li, Marc-André Vef, Andreas Dilger, Siyao Lai, Shuichi Ihara, Yong Fan, André Brinkmann	Xfast: Extreme File Attribute Stat Acceleration for Lustre.	SC	2023	DBLP DOI BibTeX RDF
21	Anjus George, Christopher Brumgard, Rick Mohr, Ketan Maheshwari, James Simmons, Sarp Oral, Jesse Hanley	PoliMOR: A Policy Engine "Made-to-Order" for Automated and Scalable Data Management in Lustre.	SC Workshops	2023	DBLP DOI BibTeX RDF
21	Nicolau Manubens, Simon D. Smart, Tiago Quintino, Adrian Jackson	Performance Comparison of DAOS and Lustre for Object Data Storage Approaches.	CoRR	2022	DBLP DOI BibTeX RDF
21	Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma 0001	Secure Information Flow Typing in LUSTRE.	CoRR	2022	DBLP BibTeX RDF
21	Abdul Jabbar Saeed Tipu, Padraig Ó Conbhuí, Enda Howley	Applying neural networks to predict HPC-I/O bandwidth over seismic data on lustre file system for ExSeisDat.	Clust. Comput.	2022	DBLP DOI BibTeX RDF
21	Junjie Wei, Qin Li	NKind: a model checker for liveness property verification on Lustre programs.	SEKE	2022	DBLP DOI BibTeX RDF
21	Nicolau Manubens, Simon D. Smart, Tiago Quintino, Adrian Jackson	Performance Comparison of DAOS and Lustre for Object Data Storage Approaches.	PDSW@SC	2022	DBLP DOI BibTeX RDF
21	Marco Seiz, Philipp Offenhäuser, Stefan Andersson, Johannes Hötzer, Henrik Hierl, Britta Nestler, Michael Resch 0001	Lustre I/O performance investigations on Hazel Hen: experiments and heuristics.	J. Supercomput.	2021	DBLP DOI BibTeX RDF
21	Wen Cheng, Shijun Deng, Lingfang Zeng, Yang Wang 0006, André Brinkmann	AIOC2: A deep Q-learning approach to autonomic I/O congestion control in Lustre.	Parallel Comput.	2021	DBLP DOI BibTeX RDF
21	Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet	Verified Lustre Normalization with Node Subsampling.	ACM Trans. Embed. Comput. Syst.	2021	DBLP DOI BibTeX RDF
21	Sanjiva Prasad, R. Madhukar Yerraguntla	Normalising Lustre Preserves Security.	CoRR	2021	DBLP BibTeX RDF
21	Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux	From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications.	ACM Trans. Cyber Phys. Syst.	2021	DBLP DOI BibTeX RDF
21	Wen Cheng, Chunyan Li, Lingfang Zeng, Yingjin Qian, Xi Li, André Brinkmann	NVMM-Oriented Hierarchical Persistent Client Caching for Lustre.	ACM Trans. Storage	2021	DBLP DOI BibTeX RDF
21	Imed Eddine Bennour	Formal verification of timed synchronous dataflow graphs using Lustre.	J. Log. Algebraic Methods Program.	2021	DBLP DOI BibTeX RDF
21	Sanjiva Prasad, R. Madhukar Yerraguntla	Normalising Lustre Preserves Security.	ICTAC	2021	DBLP DOI BibTeX RDF
21	Cheongjun Lee, Jaehwan Lee 0001, Chungyong Kim, Jiwoo Bang, Eun-Kyu Byun, Hyeonsang Eom	Data Separation Scheme on Lustre Metadata Server based on Multi-stream SSD.	ACSOS-C	2021	DBLP DOI BibTeX RDF
21	Si Liu, Lei Huang 0019, Hang Liu, Amit Ruhela, Virginia Trueheart, Susan Lindsey, Quan Yuan	Practice Guideline for Heavy I/O Workloads with Lustre File Systems on TACC Supercomputers.	PEARC	2021	DBLP DOI BibTeX RDF
21	Vladimir O. Rybintsev	Optimizing the parameters of the Lustre-file-system-based HPC system for reverse time migration.	J. Supercomput.	2020	DBLP DOI BibTeX RDF
21	Hugo Eduardo Camacho Cruz, Julio Cesar González Mariño, Jesús Humberto Foullon Peña	Parallelization Strategy Using Lustre and MPI for Face Detection in HPC Cluster: A Case Study.	Computación y Sistemas	2020	DBLP DOI BibTeX RDF
21	Lina Marsso	Specifying a Cryptographical Protocol in Lustre and SCADE.	MARS@ETAPS	2020	DBLP DOI BibTeX RDF
21	Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda	A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre.	ICISS	2020	DBLP DOI BibTeX RDF
21	Karthee Sivalingam, Harvey Richardson	Application IO Analysis with Lustre Monitoring Using LASSi for ARCHER.	ISC Workshops	2020	DBLP DOI BibTeX RDF
21	Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet	From Lustre to Graphical Models and SCCharts.	FDL	2020	DBLP DOI BibTeX RDF