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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 62(1), pp. 12801:1-12801:3, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Peter Braam |
The Lustre Storage Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.01955, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC Workshops ![In: High Performance Computing - ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers, pp. 183-197, 2019, Springer, 978-3-030-34355-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC Workshops ![In: High Performance Computing - ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers, pp. 300-316, 2019, Springer, 978-3-030-34355-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Rick Mohr, Adam P. Howard |
Provisioning ZFS Pools On Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARC ![In: Proceedings of the Practice and Experience in Advanced Research Computing on Rise of the Machines (learning), PEARC 2019, Chicago, IL, USA, July 28 - August 01, 2019, pp. 52:1-52:6, 2019, ACM, 978-1-4503-7227-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSST ![In: 35th Symposium on Mass Storage Systems and Technologies, MSST 2019, Santa Clara, CA, USA, May 20-24, 2019, pp. 7-13, 2019, IEEE, 978-1-7281-3920-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2019, Denver, Colorado, USA, November 17-19, 2019., pp. 88:1-88:14, 2019, ACM, 978-1-4503-6229-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Michael Moore 0002, Patrick Farrell, Bob Cernohous |
Lustre Lockahead: Early experience and performance using optimized locking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 30(1), 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Technol. Appl. ![In: Data Technol. Appl. 52(3), pp. 405-423, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Earth Sci. Informatics ![In: Earth Sci. Informatics 11(4), pp. 525-544, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: 34th IEEE International Conference on Data Engineering, ICDE 2018, Paris, France, April 16-19, 2018, pp. 1613-1616, 2018, IEEE Computer Society, 978-1-5386-5520-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Timothy Bourke, Lélio Brun, Marc Pouzet |
Towards a verified Lustre compiler with modular reset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2018, Sankt Goar, Germany, May 28-30, 2018, pp. 14-17, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Nageswara S. V. Rao, Neena Imam, Jesse Hanley, Sarp Oral |
Wide-area lustre file system using LNet routers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-3664-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: High Performance Computing - 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings, pp. 184-204, 2018, Springer, 978-3-319-92039-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 28(3), pp. 633-646, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
eScience ![In: 13th IEEE International Conference on e-Science, e-Science 2017, Auckland, New Zealand, October 24-27, 2017, pp. 436-437, 2017, IEEE Computer Society, 978-1-5386-2686-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Le Van Phol, Nguyen Thanh Binh 0002, Ioannis Parissis |
Mutants Generation For Testing Lustre Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: Proceedings of the Eighth International Symposium on Information and Communication Technology, Nha Trang City, Viet Nam, December 7-8, 2017, pp. 425-430, 2017, ACM, 978-1-4503-5328-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 2017 ACM Southeast Regional Conference, Kennesaw, GA, USA, April 13-15, 2017, pp. 187-190, 2017, ACM, 978-1-4503-5024-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 586-601, 2017, ACM, 978-1-4503-4988-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume, pp. 109-111, 2017, IEEE Computer Society, 978-1-5386-1589-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 12 - 17, 2017, pp. 6, 2017, ACM, 978-1-4503-5114-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAP ![In: Parallel Architecture, Algorithm and Programming - 8th International Symposium, PAAP 2017, Haikou, China, June 17-18, 2017, Proceedings, pp. 541-553, 2017, Springer, 978-981-10-6441-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Riccardo Albertoni, Monica De Martino, Paola Podestà |
Linkset Quality Assessment for the Thesaurus Framework LusTRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTSR ![In: Metadata and Semantics Research - 10th International Conference, MTSR 2016, Göttingen, Germany, November 22-25, 2016, Proceedings, pp. 27-39, 2016, 978-3-319-49156-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Nicholas Chaimov, Allen D. Malony, Costin Iancu, Khaled Z. Ibrahim |
Scaling Spark on Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC Workshops ![In: High Performance Computing - ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016, Revised Selected Papers, pp. 649-659, 2016, 978-3-319-46078-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE BigData ![In: 2016 IEEE International Conference on Big Data (IEEE BigData 2016), Washington DC, USA, December 5-8, 2016, pp. 404-409, 2016, IEEE Computer Society, 978-1-4673-9005-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Jaehyun Han, Deoksang Kim, Hyeonsang Eom |
Improving the Performance of Lustre File System in HPC Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAS*W@SASO/ICCAC ![In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016, pp. 84-89, 2016, IEEE, 978-1-5090-3651-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Michael J. Brim, Joshua K. Lothian |
Monitoring Extreme-scale Lustre Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.06836, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Henri Doreau |
Distributed Lustre activity tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.02656, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.02357, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.05323, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Joel Reed, Jeremy S. Archuleta, Michael J. Brim, Joshua K. Lothian |
Evaluating Dynamic File Striping For Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.06833, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Yingjin Qian, Yonggang Li, Yi Wang, Linqi Zhou |
Lustre文件系统元数据服务恢复机制的改进 (Improvement of Recovery Mechanism for Lustre Metadata Service). ![Search on Bibsonomy](Pics/bibsonomy.png) |
计算机科学 ![In: 计算机科学 42(9), pp. 177-182, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Zhengheng Yuan, Tingliang Zhou, Jing Liu 0012, Juan Luo, Yi Zhang, Xiaohong Chen 0007 |
Hybrid Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers, pp. 325-340, 2015, Springer, 978-3-319-41578-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Trinh Cong Duy, Nguyen Thanh Binh 0002, Ioannis Parissis |
A regression testing approach for Lustre/SCADE programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoICT ![In: Proceedings of the Sixth International Symposium on Information and Communication Technology, Hue City, Vietnam, December 3-4, 2015, pp. 288-295, 2015, ACM, 978-1-4503-3843-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: High Performance Computing - 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings, pp. 282-290, 2015, Springer, 978-3-319-20118-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: High Performance Computing - 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings, pp. 274-281, 2015, Springer, 978-3-319-20118-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, Hyderabad, India, May 25-29, 2015, pp. 291-300, 2015, IEEE Computer Society, 978-1-4799-8649-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartCity ![In: 2015 IEEE International Conference on Smart City/SocialCom/SustainCom/DataCom/SC2 2015, Chengdu, China, December 19-21, 2015, pp. 1167-1170, 2015, IEEE Computer Society, 978-1-5090-1893-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EnviroInfo/ICT4S (2) ![In: 29th International Conference on Environmental Informatics, EnviroInfo 2015 / 3rd International Conference on Information and Communication Technology for Sustainability, ICT4S 2015, Copenhagen, Denmark, September 7-9, 2015, Part 2: Adjunct Proceedings, pp. 137-141, 2015, University of Copenhagen, 978-87-7903-712-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPEC ![In: 2015 IEEE High Performance Extreme Computing Conference, HPEC 2015, Waltham, MA, USA, September 15-17, 2015, pp. 1-5, 2015, IEEE, 978-1-4673-9286-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2014, Torino, Italy, February 12-14, 2014, pp. 232-235, 2014, IEEE Computer Society, 978-1-4799-2729-6. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings, pp. 644-655, 2014, Springer, 978-3-319-09872-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE Workshops ![In: 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Naples, Italy, November 3-6, 2014, pp. 51, 2014, IEEE Computer Society, 978-1-4799-7377-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Rick Mohr, Paul Peltz Jr. |
Benchmarking SSD-Based Lustre File System Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSEDE ![In: Annual Conference of the Extreme Science and Engineering Discovery Environment, XSEDE '14, Atlanta, GA, USA - July 13 - 18, 2014, pp. 32:1-32:2, 2014, ACM, 978-1-4503-2893-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Gary L. Rogers Jr., Jesse Hanley, Rick Mohr |
Data Management Practices on Large-Scale Lustre Scratch File Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSEDE ![In: Annual Conference of the Extreme Science and Engineering Discovery Environment, XSEDE '14, Atlanta, GA, USA - July 13 - 18, 2014, pp. 36:1-36:6, 2014, ACM, 978-1-4503-2893-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Visualization and Data Analysis ![In: Visualization and Data Analysis 2014, San Francisco, CA, USA, February 3-5, 2014, pp. 90170U, 2014, SPIE, 978-0-8194-9934-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSW@SC ![In: Proceedings of the 9th Parallel Data Storage Workshop, PDSW '14, New Orleans, Louisiana, USA, November 16-21, 2014, pp. 13-18, 2014, IEEE, 978-1-4799-7025-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Omar ElTayeby, Dwayne John, Pragnesh Patel, Scott Simmerman |
Comparative case study between D3 & Highcharts on Lustre metadata visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDAV ![In: IEEE Symposium on Large-Scale Data Analysis and Visualization, LDAV 2013, 13-14 October, 2013, Atlanta, Georgia, USA, pp. 127-128, 2013, IEEE Computer Society, 978-1-4799-1659-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSC ![In: 2013 International Conference on Cloud and Service Computing, CSC 2013, Beijing, China, November 4-6, 2013, pp. 30-35, 2013, IEEE Computer Society, 978-0-7695-5157-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Mensura ![In: 2013 Joint Conference of the 23rd International Workshop on Software Measurement and the 8th International Conference on Software Process and Product Measurement, Ankara, Turkey, October 23-26, 2013, pp. 3-8, 2013, IEEE Computer Society, 978-0-7695-5078-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSST ![In: IEEE 29th Symposium on Mass Storage Systems and Technologies, MSST 2013, May 6-10, 2013, Long Beach, CA, USA, pp. 1-5, 2013, IEEE Computer Society, 978-1-4799-0217-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Kuan-Wu Lin, Surendra Byna, Jerry Chi-Yuan Chou, Kesheng Wu |
Optimizing fastquery performance on lustre file system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Conference on Scientific and Statistical Database Management, SSDBM '13, Baltimore, MD, USA, July 29 - 31, 2013, pp. 29:1-29:12, 2013, ACM, 978-1-4503-1921-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012, pp. 51-60, 2012, ACM, 978-1-4503-1212-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: 19th International Conference on High Performance Computing, HiPC 2012, Pune, India, December 18-22, 2012, pp. 1-10, 2012, IEEE Computer Society, 978-1-4673-2372-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings, pp. 65-76, 2012, Springer, 978-3-642-32819-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAS ![In: Seventh IEEE International Conference on Networking, Architecture, and Storage, NAS 2012, Xiamen, China, June 28-30, 2012, pp. 260-267, 2012, IEEE Computer Society, 978-1-4673-1889-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XSEDE ![In: Proceedings of the 1st Conference of the Extreme Science and Engineering Discovery Environment - Bridging from the eXtreme to the campus and beyond, XSEDE '12, Chicago, Illinois, USA, July 16-20, 2012, pp. 12:1-12:7, 2012, ACM, 978-1-4503-1602-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Albert Cohen 0001, Léonard Gérard, Marc Pouzet |
Programming parallelism with futures in lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012, pp. 197-206, 2012, ACM, 978-1-4503-1425-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICT@HPDC ![In: DIDC'12, Fifth International Workshop on Data-Intensive Distributed Computing, Delft, The Netherlands, June 19, 2012, pp. 43-52, 2012, ACM, 978-1-4503-1341-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: SC Conference on High Performance Computing Networking, Storage and Analysis, SC '12, Salt Lake City, UT, USA - November 11 - 15, 2012, pp. 6, 2012, IEEE/ACM, 978-1-4673-0804-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Syst. Archit. ![In: Int. J. High Perform. Syst. Archit. 3(2/3), pp. 122-136, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis |
Automatic Testing of LUSTRE/SCADE Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Testing for Embedded Systems ![In: Model-Based Testing for Embedded Systems, 2011, CRC Press, 978-1-4398-1845-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis |
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings, pp. 85-101, 2011, Springer, 978-3-642-24430-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Robert Read, John Spray |
Electronic poster: chroma: a new management interface for lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Companion ![In: Conference on High Performance Computing Networking, Storage and Analysis - Companion Volume, SC 2011, Seattle, WA, USA, November 12-18, 2011, pp. 95-96, 2011, ACM, 978-1-4503-1030-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Phillip M. Dickens, Jeremy Logan |
A high performance implementation of MPI-IO for a Lustre file system environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 22(11), pp. 1433-1449, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Louis Mandel, Florence Plateau, Marc Pouzet |
Lucy-n: a n-Synchronous Extension of Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, pp. 288-309, 2010, Springer, 978-3-642-13320-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Tiezhu Zhao, Verdi March, Shoubin Dong, Simon See |
Evaluation of a Performance Model of Lustre File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ChinaGrid ![In: Fifth Annual ChinaGrid Conference, ChinaGrid 2010, Guangzhou, China, 16-18 July, 2010, pp. 191-196, 2010, IEEE Computer Society, 978-1-4244-7543-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TG ![In: Proceedings of the 2010 TeraGrid Conference, TG '10, Pittsburgh, Pennsylvania, USA, August 2-5, 2010, pp. 19:1-19:6, 2010, ACM, 978-1-60558-818-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Josephine Palencia, Robert Budden, Kevin Sullivan |
Kerberized Lustre 2.0 over the WAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TG ![In: Proceedings of the 2010 TeraGrid Conference, TG '10, Pittsburgh, Pennsylvania, USA, August 2-5, 2010, pp. 15:1-15:5, 2010, ACM, 978-1-60558-818-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Tiezhu Zhao, Jinlong Hu |
Performance Evaluation of Parallel File System Based on Lustre and Grey Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: GCC 2010, The Ninth International Conference on Grid and Cloud Computing, Nanjing, Jiangsu, China, 1-5 November 2010, pp. 118-123, 2010, IEEE Computer Society, 978-0-7695-4313-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Jan Mikác, Paul Caspi |
Flush: an example of development by refinements in SCADE/Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 11(5), pp. 409-418, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Abdesselam Lakehal, Ioannis Parissis |
Structural coverage criteria for LUSTRE/SCADE programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Test. Verification Reliab. ![In: Softw. Test. Verification Reliab. 19(2), pp. 133-154, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Guy Durrieu, Hélène Waeselynck, Virginie Wiels |
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 7-22, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
formal methods, automation, Test oracle, avionics |
21 | Virginia Papailiopoulou |
Automatic Test Generation for LUSTRE/SCADE Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy, pp. 517-520, 2008, IEEE Computer Society, 978-1-4244-2187-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLA++P@ETAPS ![In: Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 95-110, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jimin Gao, Mike Whalen, Eric Van Wyk |
Extending Lustre with Timeout Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLA++P@ETAPS ![In: Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 111-124, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Lydie du Bousquet, Michel Delaunay |
Towards Mutation Analysis for Lustre Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLA++P@ETAPS ![In: Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P@ETAPS 2007, Braga, Portugal, March 31, 2007, pp. 35-48, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Lionel Robert Morel |
Array Iterators in Lustre: From a Language Extension to Its Exploitation in Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Embed. Syst. ![In: EURASIP J. Embed. Syst. 2007, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Abdesselam Lakehal, Ioannis Parissis |
Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007., pp. 62-68, 2007, IEEE Computer Society, 0-7695-2892-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCP@HPDC ![In: Proceedings of the 2007 workshop on Service-oriented computing performance: aspects, issues, and approaches, SOCP@HPDC 2007, Monterey, California, USA, June 25, 2007, pp. 53-58, 2007, ACM, 978-1-59593-717-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Anders Franzén |
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@CAV ![In: Proceedings of the Third International Workshop on Bounded Model Checking, BMC@CAV 2005, Edinburgh, UK, July 11, 2005, pp. 19-33, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Abdesselam Lakehal, Ioannis Parissis |
Structural test coverage criteria for lustre programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005, pp. 35-43, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Jan Mikác, Paul Caspi |
Flush: a system development tool based on scade/lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005, pp. 27-34, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Bruno Marre, Benjamin Blanc |
Test Selection Strategies for Lustre Descriptions in GATeL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Workshop on Model Based Testing, MBT 2004, Barcelona, Spain, March 27-28, 2004, pp. 93-111, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Lionel Morel |
Efficient Compilation of Array Iterators for Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLAP@ETAPS ![In: Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 19-26, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 6(2), pp. 151-175, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Florence Maraninchi, Fabien Gaucher |
Step-wise + Algorithmic debugging for Reactive Programs: Ludic, a debugger for Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AADEBUG ![In: Proceedings of the Fourth International Workshop on Automated Debugging, AADEBUG 2000, Munich, Germany, August 28-30th, 2000, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
21 | Ioannis Parissis |
A Formal Approach to Testing LUSTRE Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: First IEEE International Conference on Formal Engineering Methods, ICFEM 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings, pp. 91-100, 1997, IEEE Computer Society, 0-8186-8002-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | David Álvarez 0002 |
Faded Lustre: Vatican Cryptography, 1815-1920. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cryptologia ![In: Cryptologia 20(2), pp. 97-131, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Leszek Holenderski |
LUSTRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Development of Reactive Systems ![In: Formal Development of Reactive Systems - Case Study Production Cell, pp. 101-112, 1995, Springer, 3-540-58867-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Thierry Cattel, Grégory Duval |
The Steam-Boiler Problem in Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods for Industrial Applications ![In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)., pp. 149-164, 1995, Springer, 3-540-61929-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Christoph Andriessens, Thomas Lindner |
Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable Control Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods for Industrial Applications ![In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)., pp. 35-51, 1995, Springer, 3-540-61929-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | Ghislaine Thuau, Bachir Berkane |
Using the Language Lustre for Sequential Circuit Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Designing Correct Circuits ![In: Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992, pp. 81-96, 1992, North-Holland, 0-444-89335-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
21 | Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud |
The synchronous data flow programming language LUSTRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 79(9), pp. 1305-1320, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT ![In: Proceedings of the conference on Software for citical systems, SIGSOFT 1991, New Orleans, Louisiana, USA, pp. 112-119, 1991, ACM, 978-0-89791-455-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
21 | Frédéric Rocheteau, Nicolas Halbwachs |
POLLUS: A LUSTRE based hardware design environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms and Parallel VLSI Architectures ![In: Algorithms and Parallel VLSI Architectures II, Proceedings of the International Workshop Algorithms and Parallel VLSI Architectures II, Château de Bonas, Gers, France, June 3-6, 1991, pp. 335-346, 1991, Elsevier, 0-444-89153-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
21 | Paul Amblard, Henri-Pierre Charles |
Music synthesis description with the data flow language lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 27(1-5), pp. 551-556, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Xuechen Zhang 0001, Song Jiang 0001 |
InterferenceRemoval: removing interference of disk access for MPI programs through data replication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 24th International Conference on Supercomputing, 2010, Tsukuba, Ibaraki, Japan, June 2-4, 2010, pp. 223-232, 2010, ACM, 978-1-4503-0018-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Res. Dev. ![In: Comput. Sci. Res. Dev. 23(3-4), pp. 149-157, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-12, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|