The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1986-1994 (15) 1995-2023 (17)
Publication types (Num. hits)
article(9) inproceedings(23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 15 keywords

Results
Found 36 publication records. Showing 32 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
87Stephen F. Siegel, Andrew R. Siegel A Memory-Efficient Data Redistribution Algorithm. Search on Bibsonomy PVM/MPI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF MADRE, memory-limited, MPI, distributed, redistribution
62Stephen F. Siegel, Andrew R. Siegel MADRE: The Memory-Aware Data Redistribution Engine. Search on Bibsonomy PVM/MPI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Kutalmis 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. Search on Bibsonomy Remote. Sens. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
36Cesar Davila Hernandez, Jungseok Ho, Dongchul Kim, Abdoul Oubeidillah Machine-Learning-Based Model for Hurricane Storm Surge Forecasting in the Lower Laguna Madre. Search on Bibsonomy Algorithms The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
36Lizzie 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. Search on Bibsonomy HCI (46) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
36Alí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. Search on Bibsonomy Int. J. Appl. Earth Obs. Geoinformation The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
36Stephen F. Siegel, Andrew R. Siegel Madre: the Memory-Aware Data Redistribution Engine. Search on Bibsonomy Int. J. High Perform. Comput. Appl. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
36Gabriel 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. Search on Bibsonomy Symmetry The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
36Hamzé Haidar Alaeddine, El Houssaïn Baghious, Guillaume Madre, Gilles Burel Realization of Multi-Delay Filter Using Fermat Number Transforms. Search on Bibsonomy IEICE Trans. Fundam. Electron. Commun. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Elvira 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. Search on Bibsonomy NeuroImage The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Hamzé Haidar Alaeddine, El Houssaïn Baghious, Guillaume Madre, Gilles Burel Realization of Block robust adaptive filters using Generalized Sliding Fermat Number Transform. Search on Bibsonomy EUSIPCO The full citation details ... 2006 DBLP  BibTeX  RDF
36Guillaume Madre, El Houssaïn Baghious, Stéphane Azou, Gilles Burel Design of a variable rate algorithm for CS-ACELP coder. Search on Bibsonomy ICC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Klaus Eckl, Jean Christophe Madre, Peter Zepter, Christian Legl A Practical Approach to Multiple-Class Retiming. Search on Bibsonomy DAC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre The Implicit Set Paradigm: A New Approach to Finite State System Verification. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre New Ideas for Solving Covering Problems. Search on Bibsonomy DAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes. Search on Bibsonomy RAIRO Theor. Informatics Appl. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre Towards a Symbolic Logic Minimization Algorithm. Search on Bibsonomy VLSI Design The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre, Henri Fraisse A New Viewpoint on Two-Level Logic Minimization. Search on Bibsonomy DAC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
36Bill Lin 0001, Olivier Coudert, Jean Christophe Madre Symbolic Prime Generation for Multiple-Valued Functions. Search on Bibsonomy DAC The full citation details ... 1992 DBLP  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. Search on Bibsonomy DAC The full citation details ... 1992 DBLP  BibTeX  RDF
36Jean Christophe Madre, Olivier Coudert A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. Search on Bibsonomy IJCAI The full citation details ... 1991 DBLP  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre, Christian Berthet Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre, Christian Berthet Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams. Search on Bibsonomy CAV (DIMACS/AMS volume) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Christian Berthet, Jean Christophe Madre Formal boolean manipulations for the verification of sequential machines. Search on Bibsonomy EURO-DAC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Jean Christophe Madre A Unified Framework for the Formal Verification of Sequential Circuits. Search on Bibsonomy ICCAD The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Christian Berthet, Olivier Coudert, Jean Christophe Madre New ideas on symbolic manipulations of finite state machines. Search on Bibsonomy ICCD The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
36Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon Automating the diagnosis and the rectification of design errors with PRIAM. Search on Bibsonomy ICCAD The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
36Olivier Coudert, Christian Berthet, Jean Christophe Madre Verification of Synchronous Sequential Machines Based on Symbolic Execution. Search on Bibsonomy Automatic Verification Methods for Finite State Systems The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
36Jean Christophe Madre, Jean-Paul Billon Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. Search on Bibsonomy DAC The full citation details ... 1988 DBLP  BibTeX  RDF
25Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur Formal verification of practical MPI programs. Search on Bibsonomy PPoPP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic partial order reduction, model checking, message passing interface, distributed programming, mpi
25Gitanjali Swamy, Robert K. Brayton, Vigyan Singhal Incremental methods for FSM traversal. Search on Bibsonomy ICCD The full citation details ... 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
25Alonso Villegas Adapting not adopting a curriculum. Search on Bibsonomy SIGCSE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #32 of 32 (100 per page; Change: )
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