|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|