Search results for "lustre"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Gang Shi, Yucheng Zhang, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew	A formally verified transformation to unify multiple nested clocks for a Lustre-like language.	Sci. China Inf. Sci.	2019	DBLP DOI BibTeX RDF
21	Peter Braam	The Lustre Storage Architecture.	CoRR	2019	DBLP BibTeX RDF
21	Glenn K. Lockwood, Kirill Lozinskiy, Lisa Gerhardt, Ravi Cheema, Damian Hazen, Nicholas J. Wright	A Quantitative Approach to Architecting All-Flash Lustre File Systems.	ISC Workshops	2019	DBLP DOI BibTeX RDF
21	Alberto Chiusole, Stefano Cozzini, Daniel C. van der Ster, Massimo Lamanna, Graziano Giuliani	An I/O Analysis of HPC Workloads on CephFS and Lustre.	ISC Workshops	2019	DBLP DOI BibTeX RDF
21	Rick Mohr, Adam P. Howard	Provisioning ZFS Pools On Lustre.	PEARC	2019	DBLP DOI BibTeX RDF
21	Dong Dai 0001, Om Rameshwar Gatla, Mai Zheng	A Performance Study of Lustre File System Checker: Bottlenecks and Potentials.	MSST	2019	DBLP DOI BibTeX RDF
21	Yingjin Qian, Xi Li, Shuichi Ihara, Andreas Dilger, Carlos Thomaz, Shilong Wang, Wen Cheng, Chunyan Li, Lingfang Zeng, Fang Wang 0001, Dan Feng 0001, Tim Süß, André Brinkmann	LPCC: hierarchical persistent client caching for lustre.	SC	2019	DBLP DOI BibTeX RDF
21	Michael Moore 0002, Patrick Farrell, Bob Cernohous	Lustre Lockahead: Early experience and performance using optimized locking.	Concurr. Comput. Pract. Exp.	2018	DBLP DOI BibTeX RDF
21	Riccardo Albertoni, Monica De Martino, Paola Podestà	Quality measures for skos: ExactMatch linksets: an application to the thesaurus framework LusTRE.	Data Technol. Appl.	2018	DBLP DOI BibTeX RDF
21	Riccardo Albertoni, Monica De Martino, Paola Podestà, Andreas Abecker, Roman Wössner, Karsten Schnitter	LusTRE: a framework of linked environmental thesauri for metadata management.	Earth Sci. Informatics	2018	DBLP DOI BibTeX RDF
21	Kun Qian 0002, Nikita Bhutani, Yunyao Li 0001, H. V. Jagadish, Mauricio A. Hernández	LUSTRE: An Interactive System for Entity Structured Representation and Variant Generation.	ICDE	2018	DBLP DOI BibTeX RDF
21	Timothy Bourke, Lélio Brun, Marc Pouzet	Towards a verified Lustre compiler with modular reset.	SCOPES	2018	DBLP DOI BibTeX RDF
21	Nageswara S. V. Rao, Neena Imam, Jesse Hanley, Sarp Oral	Wide-area lustre file system using LNet routers.	SysCon	2018	DBLP DOI BibTeX RDF
21	Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert Latham, Robert B. Ross, Shane Snyder, Stefan M. Wild	Machine Learning Based Parallel I/O Predictive Modeling: A Case Study on Lustre File Systems.	ISC	2018	DBLP DOI BibTeX RDF
21	Md. Wasi-ur-Rahman, Nusrat Sharmin Islam, Xiaoyi Lu, Dhabaleswar K. Panda 0001	A Comprehensive Study of MapReduce Over Lustre for Intermediate Data Placement and Shuffle Strategies on HPC Clusters.	IEEE Trans. Parallel Distributed Syst.	2017	DBLP DOI BibTeX RDF
21	Eun-Kyu Byun, Junehawk Lee, Seokjong Yu, Jae-Hyuck Kwak, Soonwook Hwang	Accelerating Genome Sequence Alignment on Hadoop on Lustre Environment.	eScience	2017	DBLP DOI BibTeX RDF
21	Le Van Phol, Nguyen Thanh Binh 0002, Ioannis Parissis	Mutants Generation For Testing Lustre Programs.	SoICT	2017	DBLP DOI BibTeX RDF
21	Leonard Kosta, Harrison Hunter, Glover George, Andrew Strelzoff, Suzanne J. Matthews	Measuring I/O Performance of Lustre and the Temporary File System for Tradespace Applications on HPC Systems.	ACM Southeast Regional Conference	2017	DBLP DOI BibTeX RDF
21	Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg	A formally verified compiler for Lustre.	PLDI	2017	DBLP DOI BibTeX RDF
21	Gang Shi, Yuanke Gan, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew	A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs.	ICSE (Companion Volume)	2017	DBLP DOI BibTeX RDF
21	Yingjin Qian, Xi Li, Shuichi Ihara, Lingfang Zeng, Jürgen Kaiser, Tim Süß, André Brinkmann	A configurable rule based classful token bucket filter network request scheduler for the lustre file system.	SC	2017	DBLP DOI BibTeX RDF
21	Hongbo Li 0007, Yuxuan Xing, Nong Xiao, Zhiguang Chen, Yutong Lu	Customized Filesystem with Dynamic Stripe Strategies on Lustre-Based Hadoop.	PAAP	2017	DBLP DOI BibTeX RDF
21	Riccardo Albertoni, Monica De Martino, Paola Podestà	Linkset Quality Assessment for the Thesaurus Framework LusTRE.	MTSR	2016	DBLP DOI BibTeX RDF
21	Nicholas Chaimov, Allen D. Malony, Costin Iancu, Khaled Z. Ibrahim	Scaling Spark on Lustre.	ISC Workshops	2016	DBLP DOI BibTeX RDF
21	Dipti Shankar, Xiaoyi Lu, Dhabaleswar K. Panda 0001	Boldio: A hybrid and resilient burst-buffer over lustre for accelerating big data I/O.	IEEE BigData	2016	DBLP DOI BibTeX RDF
21	Jaehyun Han, Deoksang Kim, Hyeonsang Eom	Improving the Performance of Lustre File System in HPC Environments.	FAS*W@SASO/ICCAC	2016	DBLP DOI BibTeX RDF
21	Michael J. Brim, Joshua K. Lothian	Monitoring Extreme-scale Lustre Toolkit.	CoRR	2015	DBLP BibTeX RDF
21	Henri Doreau	Distributed Lustre activity tracking.	CoRR	2015	DBLP BibTeX RDF
21	Jeremy Kepner, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Lauren Edwards, Vijay Gadepally, Matthew Hubbell, Peter Michaleas, Julie Mullen, Andrew Prout, Antonio Rosa, Charles Yee, Albert Reuther	Lustre, Hadoop, Accumulo.	CoRR	2015	DBLP BibTeX RDF
21	Neena Imam, Michael J. Brim, Sarp Oral	Proceedings of the 2015 International Workshop on the Lustre Ecosystem: Challenges and Opportunities.	CoRR	2015	DBLP BibTeX RDF
21	Joel Reed, Jeremy S. Archuleta, Michael J. Brim, Joshua K. Lothian	Evaluating Dynamic File Striping For Lustre.	CoRR	2015	DBLP BibTeX RDF
21	Yingjin Qian, Yonggang Li, Yi Wang, Linqi Zhou	Lustre文件系统元数据服务恢复机制的改进 (Improvement of Recovery Mechanism for Lustre Metadata Service).	计算机科学	2015	DBLP DOI BibTeX RDF
21	Zhengheng Yuan, Tingliang Zhou, Jing Liu 0012, Juan Luo, Yi Zhang, Xiaohong Chen 0007	Hybrid Lustre.	Ershov Memorial Conference	2015	DBLP DOI BibTeX RDF
21	Trinh Cong Duy, Nguyen Thanh Binh 0002, Ioannis Parissis	A regression testing approach for Lustre/SCADE programs.	SoICT	2015	DBLP DOI BibTeX RDF
21	Yuichi Tsujita, Atsushi Hori, Yutaka Ishikawa	Striping Layout Aware Data Aggregation for High Performance I/O on a Lustre File System.	ISC	2015	DBLP DOI BibTeX RDF
21	Christopher Bartz, Konstantinos Chasapis, Michael Kuhn 0003, Petra Nerge, Thomas Ludwig 0002	A Best Practice Analysis of HDF 5 5 and NetCDF- 4 4 Using Lustre.	ISC	2015	DBLP DOI BibTeX RDF
21	Md. Wasi-ur-Rahman, Xiaoyi Lu, Nusrat Sharmin Islam, Raghunath Rajachandrasekar, Dhabaleswar K. Panda 0001	High-Performance Design of YARN MapReduce on Modern HPC Clusters with Lustre and RDMA.	IPDPS	2015	DBLP DOI BibTeX RDF
21	Wei-Chih Huang, Chuan-Chi Lai, Chun-An Lin, Chuan-Ming Liu	File System Allocation in Cloud Storage Services with GlusterFS and Lustre.	SmartCity	2015	DBLP DOI BibTeX RDF
21	Andreas Abecker, Karsten Schnitter, Roman Wössner, Riccardo Albertoni, Monica De Martino, Paola Podestà	Latest Developments of the Linked Thesaurus Framework for the Environment (LusTRE).	EnviroInfo/ICT4S (2)	2015	DBLP BibTeX RDF
21	Jeremy Kepner, William Arcand, David Bestor, Bill Bergeron, Chansup Byun, Lauren Edwards, Vijay Gadepally, Matthew Hubbell, Peter Michaleas, Julie Mullen, Andrew Prout, Antonio Rosa, Charles Yee, Albert Reuther	Lustre, hadoop, accumulo.	HPEC	2015	DBLP DOI BibTeX RDF
21	Yuichi Tsujita, Kazumi Yoshinaga, Atsushi Hori, Mikiko Sato, Mitaro Namiki, Yutaka Ishikawa	Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File System.	PDP	2014	DBLP DOI BibTeX RDF
21	Md. Wasi-ur-Rahman, Xiaoyi Lu, Nusrat Sharmin Islam, Raghunath Rajachandrasekar, Dhabaleswar K. Panda 0001	MapReduce over Lustre: Can RDMA-Based Approach Benefit?	Euro-Par	2014	DBLP DOI BibTeX RDF
21	Rekha Singhal, Manoj Nambiar 0001, Harish Sukhwani, Kishor S. Trivedi	Performability Comparison of Lustre and HDFS for MR Applications.	ISSRE Workshops	2014	DBLP DOI BibTeX RDF
21	Rick Mohr, Paul Peltz Jr.	Benchmarking SSD-Based Lustre File System Configurations.	XSEDE	2014	DBLP DOI BibTeX RDF
21	Gary L. Rogers Jr., Jesse Hanley, Rick Mohr	Data Management Practices on Large-Scale Lustre Scratch File Systems.	XSEDE	2014	DBLP DOI BibTeX RDF
21	Omar ElTayeby, Dwayne John, Pragnesh Patel, Scott Simmerman	Comparative case study between D3 and highcharts on lustre data visualization.	Visualization and Data Analysis	2014	DBLP DOI BibTeX RDF
21	Konstantinos Chasapis, Manuel F. Dolz, Michael Kuhn 0003, Thomas Ludwig 0002	Evaluating Lustre's metadata server on a multi-socket platform.	PDSW@SC	2014	DBLP DOI BibTeX RDF
21	Omar ElTayeby, Dwayne John, Pragnesh Patel, Scott Simmerman	Comparative case study between D3 & Highcharts on Lustre metadata visualization.	LDAV	2013	DBLP DOI BibTeX RDF
21	Zhou Lei, Zhebo Zhou, Bolin Hu, Wenfeng Shen, Luokai Hu	PIOD: A Parallel I/O Dispatch Model Based on Lustre File System for Virtual Machine Storage.	CSC	2013	DBLP DOI BibTeX RDF
21	Hassan Soubra	Fast Functional Size Measurement with Synchronous Languages: An Approach Based on LUSTRE and on the Cosmic ISO 19761 Standard.	IWSM/Mensura	2013	DBLP DOI BibTeX RDF
21	Yingjin Qian, Ruihai Yi, Yimo Du, Nong Xiao, Shiyao Jin	Dynamic I/O congestion control in scalable lustre file system.	MSST	2013	DBLP DOI BibTeX RDF
21	Kuan-Wu Lin, Surendra Byna, Jerry Chi-Yuan Chou, Kesheng Wu	Optimizing fastquery performance on lustre file system.	SSDBM	2013	DBLP DOI BibTeX RDF
21	Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet	A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler.	LCTES	2012	DBLP DOI BibTeX RDF
21	Subhash Saini, Jason Rappleye, Johnny Chang, David Barker, Piyush Mehrotra, Rupak Biswas	I/O performance characterization of Lustre and NASA applications on Pleiades.	HiPC	2012	DBLP DOI BibTeX RDF
21	Alvaro Aguilera, Michael Kluge, Thomas William, Wolfgang E. Nagel	HPC File Systems in Wide Area Networks: Understanding the Performance of Lustre over WAN.	Euro-Par	2012	DBLP DOI BibTeX RDF
21	Richard Knepper, Scott Michael, William Johnson, Robert Henschel, Matthew R. Link	The Lustre File System and 100 Gigabit Wide Area Networking: An Example Case from SC11.	NAS	2012	DBLP DOI BibTeX RDF
21	Josephine Palencia, Robert Budden, Kathy Benninger, Jorge Rodríguez 0002, John Dilascio, Dimitri Bourilkov, Paul Avery, Mengxing Cheng, Yu Fu, Bockjoo Kim, Drew Oliver, Daniel Majchrzak, Dave Dykstra, Nirmal Seenu, Donald Shrum, Jim Wilgenbusch	Using kerberized lustre over the WAN for high energy physics data.	XSEDE	2012	DBLP DOI BibTeX RDF
21	Albert Cohen 0001, Léonard Gérard, Marc Pouzet	Programming parallelism with futures in lustre.	EMSOFT	2012	DBLP DOI BibTeX RDF
21	Scott Michael, Liang Zhen, Robert Henschel, Stephen C. Simms, Eric Barton, Matthew R. Link	A study of lustre networking over a 100 gigabit wide area network with 50 milliseconds of latency.	DICT@HPDC	2012	DBLP DOI BibTeX RDF
21	Robert Henschel, Stephen C. Simms, David Y. Hancock, Scott Michael, Tom Johnson, Nathan Heald, Thomas William, Donald K. Berry, Matthew Allen, Richard Knepper, Matt Davy, Matthew R. Link, Craig A. Stewart	Demonstrating lustre over a 100Gbps wide area network of 3, 500km.	SC	2012	DBLP DOI BibTeX RDF
21	Francieli Zanon Boito, Rodrigo Virote Kassick, Philippe Olivier Alexandre Navaux	The impact of applications' I/O strategies on the performance of the Lustre parallel file system.	Int. J. High Perform. Syst. Archit.	2011	DBLP DOI BibTeX RDF
21	Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis	Automatic Testing of LUSTRE/SCADE Programs.	Model-Based Testing for Embedded Systems	2011	DBLP DOI BibTeX RDF
21	Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis	Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs.	FMICS	2011	DBLP DOI BibTeX RDF
21	Robert Read, John Spray	Electronic poster: chroma: a new management interface for lustre.	SC Companion	2011	DBLP DOI BibTeX RDF
21	Phillip M. Dickens, Jeremy Logan	A high performance implementation of MPI-IO for a Lustre file system environment.	Concurr. Comput. Pract. Exp.	2010	DBLP DOI BibTeX RDF
21	Louis Mandel, Florence Plateau, Marc Pouzet	Lucy-n: a n-Synchronous Extension of Lustre.	MPC	2010	DBLP DOI BibTeX RDF
21	Tiezhu Zhao, Verdi March, Shoubin Dong, Simon See	Evaluation of a Performance Model of Lustre File System.	ChinaGrid	2010	DBLP DOI BibTeX RDF
21	Joshua Walgenbach, Stephen C. Simms, Kit Westneat, Justin P. Miller	Enabling Lustre WAN for production use on the TeraGrid: a lightweight UID mapping scheme.	TG	2010	DBLP DOI BibTeX RDF
21	Josephine Palencia, Robert Budden, Kevin Sullivan	Kerberized Lustre 2.0 over the WAN.	TG	2010	DBLP DOI BibTeX RDF
21	Tiezhu Zhao, Jinlong Hu	Performance Evaluation of Parallel File System Based on Lustre and Grey Theory.	GCC	2010	DBLP DOI BibTeX RDF
21	Jan Mikác, Paul Caspi	Flush: an example of development by refinements in SCADE/Lustre.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
21	Abdesselam Lakehal, Ioannis Parissis	Structural coverage criteria for LUSTRE/SCADE programs.	Softw. Test. Verification Reliab.	2009	DBLP DOI BibTeX RDF
21	Guy Durrieu, Hélène Waeselynck, Virginie Wiels	LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.	FMICS	2008	DBLP DOI BibTeX RDF	formal methods, automation, Test oracle, avionics
21	Virginia Papailiopoulou	Automatic Test Generation for LUSTRE/SCADE Programs.	ASE	2008	DBLP DOI BibTeX RDF
21	Florence Maraninchi, Ludovic Samper, Kevin Baradon, Antoine Vasseur	Lustre as a System Modeling Language: Lussensor, a Case-Study with Sensor Networks.	SLA++P@ETAPS	2007	DBLP DOI BibTeX RDF
21	Jimin Gao, Mike Whalen, Eric Van Wyk	Extending Lustre with Timeout Automata.	SLA++P@ETAPS	2007	DBLP DOI BibTeX RDF
21	Lydie du Bousquet, Michel Delaunay	Towards Mutation Analysis for Lustre Programs.	SLA++P@ETAPS	2007	DBLP DOI BibTeX RDF
21	Lionel Robert Morel	Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation.	EURASIP J. Embed. Syst.	2007	DBLP DOI BibTeX RDF
21	Abdesselam Lakehal, Ioannis Parissis	Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study.	AST	2007	DBLP DOI BibTeX RDF
21	Stephen C. Simms, Gregory G. Pike, Scott Teige, Bret Hammond, Yu Ma, Larry L. Simms, C. Westneat, Douglas A. Balog	Empowering distributed workflow with the data capacitor: maximizing lustre performance across the wide area network.	SOCP@HPDC	2007	DBLP DOI BibTeX RDF
21	Anders Franzén	Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs.	BMC@CAV	2005	DBLP DOI BibTeX RDF
21	Abdesselam Lakehal, Ioannis Parissis	Structural test coverage criteria for lustre programs.	FMICS	2005	DBLP DOI BibTeX RDF
21	Jan Mikác, Paul Caspi	Flush: a system development tool based on scade/lustre.	FMICS	2005	DBLP DOI BibTeX RDF
21	Bruno Marre, Benjamin Blanc	Test Selection Strategies for Lustre Descriptions in GATeL.	MBT	2004	DBLP DOI BibTeX RDF
21	Lionel Morel	Efficient Compilation of Array Iterators for Lustre.	SLAP@ETAPS	2002	DBLP DOI BibTeX RDF
21	Rainer Gmehlich	Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System.	Des. Autom. Embed. Syst.	2001	DBLP DOI BibTeX RDF
21	Florence Maraninchi, Fabien Gaucher	Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre.	AADEBUG	2000	DBLP BibTeX RDF
21	Ioannis Parissis	A Formal Approach to Testing LUSTRE Specifications.	ICFEM	1997	DBLP DOI BibTeX RDF
21	David Álvarez 0002	Faded Lustre: Vatican Cryptography, 1815-1920.	Cryptologia	1996	DBLP DOI BibTeX RDF
21	Leszek Holenderski	LUSTRE.	Formal Development of Reactive Systems	1995	DBLP DOI BibTeX RDF
21	Thierry Cattel, Grégory Duval	The Steam-Boiler Problem in Lustre.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
21	Christoph Andriessens, Thomas Lindner	Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
21	Ghislaine Thuau, Bachir Berkane	Using the Language Lustre for Sequential Circuit Verification.	Designing Correct Circuits	1992	DBLP BibTeX RDF
21	Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud	The synchronous data flow programming language LUSTRE.	Proc. IEEE	1991	DBLP DOI BibTeX RDF
21	Christophe Ratel, Nicolas Halbwachs, Pascal Raymond	Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE.	SIGSOFT	1991	DBLP DOI BibTeX RDF
21	Frédéric Rocheteau, Nicolas Halbwachs	POLLUS: A LUSTRE based hardware design environment.	Algorithms and Parallel VLSI Architectures	1991	DBLP BibTeX RDF
21	Paul Amblard, Henri-Pierre Charles	Music synthesis description with the data flow language lustre.	Microprocessing and Microprogramming	1989	DBLP DOI BibTeX RDF
14	Xuechen Zhang 0001, Song Jiang 0001	InterferenceRemoval: removing interference of disk access for MPI programs through data replication.	ICS	2010	DBLP DOI BibTeX RDF	I/O interference, MPI program, MPI-IO
14	Chao Wang 0056, Zhe Zhang 0005, Xiaosong Ma, Sudharshan S. Vazhkudai, Frank Mueller 0001	Improving the availability of supercomputer job input data using temporal replication.	Comput. Sci. Res. Dev.	2009	DBLP DOI BibTeX RDF	Temporal replication, Batch job scheduler, Reliability, Supercomputer, Parallel file system
14	Xuechen Zhang 0001, Song Jiang 0001, Kei Davis	Making resonance a common case: A high-performance implementation of collective I/O on parallel file systems.	IPDPS	2009	DBLP DOI BibTeX RDF