Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Michal
Last name:	Kouril
DBLP:	57/6309
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 7 of 7  

Select a publication
Show	Title	Venue	Rating	Date
	Jerome L. Paul, Michal Kouril, Kenneth A. Berman. A template library to facilitate teaching message passing parallel computing.	Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, Houston, Texas, USA, March 3-5, 2006 2006	(0)	2006
	Michal Kouril, Jerome L. Paul. Brief announcement: dynamic interoperable point-to-point connection of MPI implementations.	Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005 2005	(0)	2005
	Michal Kouril, Jerome L. Paul. Dynamic Interoperable Message Passing.	Recent Advances in Parallel Virtual Machine and Message Passing Interface, 12th European PVM/MPI Users' Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings 2005	(0)	2005
	Michal Kouril, John V. Franco. Resolution Tunnels for Improved SAT Solver Performance.	Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings 2005	(0)	2005
	Michal Kouril, Jerome L. Paul. A parallel backtracking framework (BkFr) for single and multiple clusters.	Proceedings of the First Conference on Computing Frontiers, 2004, Ischia, Italy, April 14-16, 2004 2004	(0)	2004
	John V. Franco, Michal Kouril, John S. Schlipf, Sean Weaver, Michael Dransfield, W. Mark Vanfleet. Function-Complete Lookahead in Support of Efficient SAT Search Heuristics.	J. UCS 2004, Volume 10	(0)	2004
	John V. Franco, Michal Kouril, John S. Schlipf, Jeffrey Ward, Sean Weaver, Michael Dransfield, W. Mark Vanfleet. SBSAT: a State-Based, BDD-Based Satisfiability Solver.	Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers 2004	(0)	2003

Your query returned 7 matches in the database.