Search results for "Lustre"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
14	John Bent, Garth A. Gibson, Gary Grider, Ben McClelland, Paul Nowoczynski, James Nunez, Milo Polte, Meghan Wingate	PLFS: a checkpoint filesystem for parallel applications.	SC	2009	DBLP DOI BibTeX RDF	check-pointing, parallel file systems and IO, parallel computing, high performance computing
14	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond	Synchronous Modeling and Validation of Priority Inheritance Schedulers.	FASE	2009	DBLP DOI BibTeX RDF	Simulation, Scheduling, Embedded systems, Formal Verification, Architecture Description Languages, Synchronous Languages
14	Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Clock-directed modular code generation for synchronous data-flow languages.	LCTES	2008	DBLP DOI BibTeX RDF	real-time systems, compilation, semantics, type systems, synchronous languages
14	R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil	STATEMATE to SCADE model translation.	ISEC	2008	DBLP DOI BibTeX RDF	SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE
14	Ranjit Noronha, Xiangyong Ouyang, Dhabaleswar K. Panda 0001	Designing a High-Performance Clustered NAS: A Case Study with pNFS over RDMA on InfiniBand.	HiPC	2008	DBLP DOI BibTeX RDF
14	GuangHe Ge, Wanxi Deng, Lu Qi, Yuqing Li, Gang Wang 0001, Xiaoguang Liu 0001, Jing Liu 0010	NLOV: An Innovative Object-Oriented Storage System Based on BerkeleyDB.	HPCC	2008	DBLP DOI BibTeX RDF
14	Albert Cohen 0001, Louis Mandel, Florence Plateau, Marc Pouzet	Abstraction of Clocks in Synchronous Data-Flow Systems.	APLAS	2008	DBLP DOI BibTeX RDF	Real-time systems, Compilation, Semantics, Type-systems, Synchronous languages, Kahn Process Networks
14	Juan Piernas, Jarek Nieplocha	Efficient Management of Complex Striped Files in Active Storage.	Euro-Par	2008	DBLP DOI BibTeX RDF
14	Weikuan Yu, Jeffrey S. Vetter, Sarp Oral	Performance characterization and optimization of parallel I/O on the Cray XT.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Daniel G. Chavarría-Miranda, Andrès Márquez, Jarek Nieplocha, Kristyn J. Maschhoff, Chad Scherrer	Early experience with out-of-core applications on the Cray XMT.	IPDPS	2008	DBLP DOI BibTeX RDF
14	Ranjit Noronha, Dhabaleswar K. Panda 0001	IMCa: A High Performance Caching Front-End for GlusterFS on InfiniBand.	ICPP	2008	DBLP DOI BibTeX RDF
14	Anjali Joshi, Mats Per Erik Heimdahl	Behavioral Fault Modeling for Model-based Safety Analysis.	HASE	2007	DBLP DOI BibTeX RDF
14	Edgar G. Daylight, Sandeep K. Shukla	Local Causal Reasoning of a Safety-Critical Subway System.	MEMOCODE	2007	DBLP DOI BibTeX RDF
14	A. Carbone, Luca dell'Agnello, Alberto Forti, Antonia Ghiselli, E. Lanciotti, Luca Magnoni, Mirco Mazzucato, R. Santinelli, Vladimir Sapunenko, V. Vagnoni, Riccardo Zappi	Performance Studies of the StoRM Storage Resource Manager.	eScience	2007	DBLP DOI BibTeX RDF
14	Wei-keng Liao, Avery Ching, Kenin Coloma, Alok N. Choudhary, Lee Ward	An Implementation and Evaluation of Client-Side File Caching for MPI-IO.	IPDPS	2007	DBLP DOI BibTeX RDF
14	Wei-keng Liao, Avery Ching, Kenin Coloma, Alok N. Choudhary, Mahmut T. Kandemir	Improving MPI Independent Write Performance Using A Two-Stage Write-Behind Buffering Method.	IPDPS	2007	DBLP DOI BibTeX RDF
14	Florence Maraninchi, Tayeb Bouhadiba	42: programmable models of computation for a component-based approach to heterogeneous embedded systems.	GPCE	2007	DBLP DOI BibTeX RDF	semantics, models-of-computation, component-based design, heterogeneous embedded systems
14	Besnik Seljimi, Ioannis Parissis	Automatic generation of test data generators for synchronous programs: Lutess V2.	DOSTA	2007	DBLP DOI BibTeX RDF	Lutess, automatic test generation, synchronous programs
14	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
14	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens	Virtual execution of AADL models via a translation into synchronous programs.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, formal verification, architecture description language, synchronous languages
14	Matthias Güdemann, Andreas Angerer, Frank Ortmeier, Wolfgang Reif	Modeling of self-adaptive systems with SCADE.	ISCAS	2007	DBLP DOI BibTeX RDF
14	Matthew Woitaszek, Henry M. Tufo	Tornado Codes for MAID Archival Storage.	MSST	2007	DBLP DOI BibTeX RDF
14	Zhongying Niu, Ke Zhou 0001, Dan Feng 0001, Hong Jiang 0001, Frank Wang, Hua Chai, Wei Xiao, Chun-hua Li	Implementing and Evaluating Security Controls for an Object-Based Storage System.	MSST	2007	DBLP DOI BibTeX RDF
14	Julian Borrill, Leonid Oliker, John Shalf, Hongzhang Shan	Investigation of leading HPC I/O performance using a scientific-application derived benchmark.	SC	2007	DBLP DOI BibTeX RDF
14	Jimin Gao, Mats Per Erik Heimdahl, Eric Van Wyk	Flexible and Extensible Notations for Modeling Languages.	FASE	2007	DBLP DOI BibTeX RDF
14	Besnik Seljimi, Ioannis Parissis	Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs.	ISSRE	2006	DBLP DOI BibTeX RDF
14	Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet	Mixing signals and modes in synchronous data-flow systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	mode automata, compilation, synchronous, languages
14	Fei Mu, Jiwu Shu, Bigang Li, Weimin Zheng	Multi-dimensional Storage QoS Guarantees for an Object-Based Storage System.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
14	Luis Miguel Sánchez García, Florin Isaila, Félix García Carballeira, Jesús Carretero Pérez, Rolf Rabenseifner, Panagiotis A. Adamidis	A New I/O Architecture for Improving the Performance in Large Scale Clusters.	ICCSA (5)	2006	DBLP DOI BibTeX RDF
14	Brent Welch, Marc Unangst	S13 - Cluster storage and file system technologies.	SC	2006	DBLP DOI BibTeX RDF
14	Stephen C. Simms, Matt Davy, Bret Hammond, Matthew R. Link, Craig A. Stewart, Randall Bramley, Beth A. Plale, Dennis Gannon, Mu-Hyun Baik, Scott Teige, John C. Huffman, Rick McMullen, Doug Balog, Greg Pike	Bandwidth challenge - All in a day's work: advancing data-intensive research with the data capacitor.	SC	2006	DBLP DOI BibTeX RDF
14	Robert B. Ross, Rajeev Thakur, William Loewe, Robert Latham	M02 - Parallel I/O in practice.	SC	2006	DBLP DOI BibTeX RDF
14	Yueyue Zhang, Amy W. Apon	Implementation Tradeoffs of the Array Files Library for Out-of-Core Computations.	CLUSTER	2006	DBLP DOI BibTeX RDF
14	Richard Hedges, Bill Loewe, Tyce T. McLarty, Chris Morrone	Parallel File System Testing for the Lunatic Fringe: The Care and Feeding of Restless I/O Power Users.	MSST	2005	DBLP DOI BibTeX RDF
14	José Borbinha, Nuno Freire 0001, João Neves	BND: the architecture of a national digital library.	JCDL	2004	DBLP DOI BibTeX RDF	Security, Design, Reliability, Standardization, Experimentation
14	Jean-Louis Colaço, Alain Girault, Grégoire Hamon, Marc Pouzet	Towards a higher-order synchronous data-flow language.	EMSOFT	2004	DBLP DOI BibTeX RDF	Kahn processes, stream functions, synchronous data-flow programming language, functional programming, type system, dynamic reconfiguration
14	Ioannis Parissis, Jérôme Vassy	Thoroughness of Specification-Based Testing of Synchronous Programs.	ISSRE	2003	DBLP DOI BibTeX RDF
14	Gérard Berry, Michael Kishinevsky, Satnam Singh	System Level Design and Verification Using a Synchronous Language.	ICCAD	2003	DBLP DOI BibTeX RDF
14	Bram De Wachter, Thierry Massart, Cédric Meuter	dSL: An Environment with Automatic Code Distribution for Industrial Control Systems.	OPODIS	2003	DBLP DOI BibTeX RDF	transparent code distribution, execution migration, Industrial process control
14	Pierre Chartier	ABS Project: Merging the Best Practices in Software Design from Railway and Aircraft Industries.	ZB	2002	DBLP DOI BibTeX RDF
14	Tomas Hlavaty, Libor Preucil, Petr Stepan	Case Study: Formal Specification and Verification of Railway Interlocking System.	EUROMICRO	2001	DBLP DOI BibTeX RDF
14	Jean-Louis Camus, Thierry Le Sergent	Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems.	SDL Forum	2001	DBLP DOI BibTeX RDF
14	Marie-Claude Gaudel	Testing from Formal Specifications, a Generic Approach.	Ada-Europe	2001	DBLP DOI BibTeX RDF
14	Victor L. Winter	A Synchronous Paradigm for Modeling Stable Reactive Systems.	HASE	1999	DBLP DOI BibTeX RDF
14	Florence Maraninchi, Yann Rémond	Mode-Automata: About Modes and States for Reactive Systems.	ESOP	1998	DBLP DOI BibTeX RDF
14	Florence Maraninchi, Yann Rémond	Compositionality Criteria for Defining Mixed-Styles Synchronous Languages.	COMPOS	1997	DBLP DOI BibTeX RDF
14	Paul Caspi, Alain Girault	Distributing Finite Transition Systems Extended Abstract.	PARLE	1992	DBLP DOI BibTeX RDF