Search results for "MADRE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
87	Stephen F. Siegel, Andrew R. Siegel	A Memory-Efficient Data Redistribution Algorithm.	PVM/MPI	2009	DBLP DOI BibTeX RDF	MADRE, memory-limited, MPI, distributed, redistribution
62	Stephen F. Siegel, Andrew R. Siegel	MADRE: The Memory-Aware Data Redistribution Engine.	PVM/MPI	2008	DBLP DOI BibTeX RDF
36	Kutalmis Saylam, Alejandra Briseno, Aaron R. Averett, John R. Andrews	Analysis of Depths Derived by Airborne Lidar and Satellite Imaging to Support Bathymetric Mapping Efforts with Varying Environmental Conditions: Lower Laguna Madre, Gulf of Mexico.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
36	Cesar Davila Hernandez, Jungseok Ho, Dongchul Kim, Abdoul Oubeidillah	Machine-Learning-Based Model for Hurricane Storm Surge Forecasting in the Lower Laguna Madre.	Algorithms	2023	DBLP DOI BibTeX RDF
36	Lizzie Pazmiño-Guevara, Jorge Álvarez-Tello, María Becerra-Sarmiento, Roberto Guerrero-Vargas	Development of Short Circuits for Agroecology: Case of the Madre Tierra Solidarity Market in Quito, Ecuador.	HCI (46)	2023	DBLP DOI BibTeX RDF
36	Alís Novo-Fernández, Shannon Franks, Christian Wehenkel, Pablito M. López-Serrano, Matthieu Molinier, Carlos A. López-Sánchez	Landsat time series analysis for temperate forest cover change detection in the Sierra Madre Occidental, Durango, Mexico.	Int. J. Appl. Earth Obs. Geoinformation	2018	DBLP DOI BibTeX RDF
36	Stephen F. Siegel, Andrew R. Siegel	Madre: the Memory-Aware Data Redistribution Engine.	Int. J. High Perform. Comput. Appl.	2010	DBLP DOI BibTeX RDF
36	Gabriel Constantinescu, Shahed Rasekh, Parisa Amirkhizi, Daniela V. Lopes, Miguel A. Vieira, Andrei V. Kovalevsky, Juan C. Diez, Andres Sotelo, Maria A. Madre, Miguel A. Torres	Exploring the High-Temperature Electrical Performance of Ca3-xLaxCo4O9 Thermoelectric Ceramics for Moderate and Low Substitution Levels.	Symmetry	2021	DBLP DOI BibTeX RDF
36	Hamzé Haidar Alaeddine, El Houssaïn Baghious, Guillaume Madre, Gilles Burel	Realization of Multi-Delay Filter Using Fermat Number Transforms.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2008	DBLP DOI BibTeX RDF
36	Elvira Bramon, Madiha Shaikh, Matthew R. Broome, Julia M. Lappin, Daniel Bergé, Fern Day, James Woolley, Paul Tabraham, Mercè Madre, Louise Johns, Oliver D. Howes, Lucia Valmaggia, Víctor Pérez, Pak C. Sham, Robin M. Murray, Philip K. McGuire	Abnormal P300 in people with high risk of developing psychosis.	NeuroImage	2008	DBLP DOI BibTeX RDF
36	Hamzé Haidar Alaeddine, El Houssaïn Baghious, Guillaume Madre, Gilles Burel	Realization of Block robust adaptive filters using Generalized Sliding Fermat Number Transform.	EUSIPCO	2006	DBLP BibTeX RDF
36	Guillaume Madre, El Houssaïn Baghious, Stéphane Azou, Gilles Burel	Design of a variable rate algorithm for CS-ACELP coder.	ICC	2003	DBLP DOI BibTeX RDF
36	Klaus Eckl, Jean Christophe Madre, Peter Zepter, Christian Legl	A Practical Approach to Multiple-Class Retiming.	DAC	1999	DBLP DOI BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre	The Implicit Set Paradigm: A New Approach to Finite State System Verification.	Formal Methods Syst. Des.	1995	DBLP DOI BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre	New Ideas for Solving Covering Problems.	DAC	1995	DBLP DOI BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre	Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes.	RAIRO Theor. Informatics Appl.	1994	DBLP DOI BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre	Towards a Symbolic Logic Minimization Algorithm.	VLSI Design	1993	DBLP DOI BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre, Henri Fraisse	A New Viewpoint on Two-Level Logic Minimization.	DAC	1993	DBLP DOI BibTeX RDF
36	Bill Lin 0001, Olivier Coudert, Jean Christophe Madre	Symbolic Prime Generation for Multiple-Valued Functions.	DAC	1992	DBLP BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre	Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions.	DAC	1992	DBLP BibTeX RDF
36	Jean Christophe Madre, Olivier Coudert	A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver.	IJCAI	1991	DBLP BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre, Christian Berthet	Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams.	CAV	1990	DBLP DOI BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre, Christian Berthet	Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams.	CAV (DIMACS/AMS volume)	1990	DBLP DOI BibTeX RDF
36	Olivier Coudert, Christian Berthet, Jean Christophe Madre	Formal boolean manipulations for the verification of sequential machines.	EURO-DAC	1990	DBLP DOI BibTeX RDF
36	Olivier Coudert, Jean Christophe Madre	A Unified Framework for the Formal Verification of Sequential Circuits.	ICCAD	1990	DBLP DOI BibTeX RDF
36	Christian Berthet, Olivier Coudert, Jean Christophe Madre	New ideas on symbolic manipulations of finite state machines.	ICCD	1990	DBLP DOI BibTeX RDF
36	Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon	Automating the diagnosis and the rectification of design errors with PRIAM.	ICCAD	1989	DBLP DOI BibTeX RDF
36	Olivier Coudert, Christian Berthet, Jean Christophe Madre	Verification of Synchronous Sequential Machines Based on Symbolic Execution.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
36	Jean Christophe Madre, Jean-Paul Billon	Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour.	DAC	1988	DBLP BibTeX RDF
25	Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur	Formal verification of practical MPI programs.	PPoPP	2009	DBLP DOI BibTeX RDF	dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
25	Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal	Incremental methods for FSM traversal.	ICCD	1995	DBLP DOI BibTeX RDF	FSM traversal, formal verification, formal verification, finite state machines, finite state machine, logic design, directed graphs, logic CAD, incremental algorithms, digital systems, reachable states, incremental methods
25	Alonso Villegas	Adapting not adopting a curriculum.	SIGCSE	1986	DBLP DOI BibTeX RDF