|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 16th European PVM/MPI Users' Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings, pp. 219-229, 2009, Springer, 978-3-642-03769-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 15th European PVM/MPI Users' Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings, pp. 218-226, 2008, Springer, 978-3-540-87474-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(24), pp. 5754, December 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms ![In: Algorithms 16(5), pp. 232, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (46) ![In: HCI International 2023 Posters - 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV, pp. 394-400, 2023, Springer, 978-3-031-36000-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Earth Obs. Geoinformation ![In: Int. J. Appl. Earth Obs. Geoinformation 73, pp. 230-244, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Stephen F. Siegel, Andrew R. Siegel |
Madre: the Memory-Aware Data Redistribution Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Perform. Comput. Appl. ![In: Int. J. High Perform. Comput. Appl. 24(1), pp. 93-104, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(5), pp. 782, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(9), pp. 2571-2577, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 41(2), pp. 553-560, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 14th European Signal Processing Conference, EUSIPCO 2006, Florence, Italy, September 4-8, 2006, pp. 1-5, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2003, Anchorage, Alaska, USA, 11-15 May, 2003, pp. 600-604, 2003, IEEE, 0-7803-7802-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Klaus Eckl, Jean Christophe Madre, Peter Zepter, Christian Legl |
A Practical Approach to Multiple-Class Retiming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 36th Conference on Design Automation, New Orleans, LA, USA, June 21-25, 1999., pp. 237-242, 1999, ACM Press. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Coudert, Jean Christophe Madre |
The Implicit Set Paradigm: A New Approach to Finite State System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 6(2), pp. 133-145, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Coudert, Jean Christophe Madre |
New Ideas for Solving Covering Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 32st Conference on Design Automation, San Francisco, California, USA, Moscone Center, June 12-16, 1995., pp. 641-646, 1995, ACM Press, 0-89791-725-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 28(2), pp. 125-149, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Coudert, Jean Christophe Madre |
Towards a Symbolic Logic Minimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: Proceedings of the Sixth International Conference on VLSI Design, VLSI Design 1993, Bombay, India, January 3-6, 1993, pp. 329-334, 1993, IEEE Computer Society, 0-8186-3180-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Coudert, Jean Christophe Madre, Henri Fraisse |
A New Viewpoint on Two-Level Logic Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 30th Design Automation Conference. Dallas, Texas, USA, June 14-18, 1993., pp. 625-630, 1993, ACM Press, 0-89791-577-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Bill Lin 0001, Olivier Coudert, Jean Christophe Madre |
Symbolic Prime Generation for Multiple-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 29th Design Automation Conference, Anaheim, California, USA, June 8-12, 1992., pp. 40-44, 1992, IEEE Computer Society Press, 0-8186-2822-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
36 | Olivier Coudert, Jean Christophe Madre |
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 29th Design Automation Conference, Anaheim, California, USA, June 8-12, 1992., pp. 36-39, 1992, IEEE Computer Society Press, 0-8186-2822-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
36 | Jean Christophe Madre, Olivier Coudert |
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991, pp. 294-299, 1991, Morgan Kaufmann, 1-55860-160-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
36 | Olivier Coudert, Jean Christophe Madre, Christian Berthet |
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 23-32, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Coudert, Jean Christophe Madre, Christian Berthet |
Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (DIMACS/AMS volume) ![In: Computer-Aided Verification, Proceedings of a DIMACS Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990, pp. 75-84, 1990, DIMACS/AMS, 978-0-8218-6594-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Coudert, Christian Berthet, Jean Christophe Madre |
Formal boolean manipulations for the verification of sequential machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURO-DAC ![In: European Design Automation Conference, EURO-DAC 1990, Glasgow, Scotland, UK, March 12-15, 1990, pp. 57-61, 1990, IEEE Computer Society, 0-8186-2024-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Coudert, Jean Christophe Madre |
A Unified Framework for the Formal Verification of Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1990, Santa Clara, CA, USA, November 11-15, 1990. Digest of Technical Papers, pp. 126-129, 1990, IEEE Computer Society, 0-8186-2055-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Christian Berthet, Olivier Coudert, Jean Christophe Madre |
New ideas on symbolic manipulations of finite state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, ICCD 1990, Cambridge, MA, USA, 17-19 September, 1990, pp. 224-227, 1990, IEEE Computer Society, 0-8186-2079-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 1989 IEEE International Conference on Computer-Aided Design, ICCAD 1989, Santa Clara, CA, USA, November 5-9, 1989. Digest of Technical Papers, pp. 30-33, 1989, IEEE Computer Society, 0-8186-1986-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
36 | Olivier Coudert, Christian Berthet, Jean Christophe Madre |
Verification of Synchronous Sequential Machines Based on Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 365-373, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
36 | Jean Christophe Madre, Jean-Paul Billon |
Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 25th ACM/IEEE Conference on Design Automation, DAC '88, Anaheim, CA, USA, June 12-15, 1988., pp. 205-210, 1988, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2009, Raleigh, NC, USA, February 14-18, 2009, pp. 261-270, 2009, ACM, 978-1-60558-397-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1995 International Conference on Computer Design (ICCD '95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings, pp. 590-595, 1995, IEEE Computer Society, 0-8186-7165-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 17th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1986, Cincinnati, Ohio, USA, February 6-7, 1986, pp. 211-216, 1986, ACM, 978-0-89791-178-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|