The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Lustre with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1986-1992 (17) 1994-1999 (19) 2000-2003 (22) 2004-2005 (17) 2006-2007 (36) 2008 (17) 2009-2010 (25) 2011-2013 (20) 2014-2015 (21) 2016-2018 (19) 2019-2021 (24) 2022-2023 (11)
Publication types (Num. hits)
article(49) incollection(2) inproceedings(185) phdthesis(12)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 179 occurrences of 110 keywords

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