P. Maurer's Website, DGL, FHDL, Education, Research
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Peter M. Maurer: Home Page
|
|
Short Biography |
Alternate View 1 Alternate View 2 Alternate View 3
Progamming Language Archive. One program in many different languages. Click here to see it.
| Current Course Materials |
CSI 2350 Discrete Structures
|
Current Research
Professor Maurer's research interests include GPS Applications, Component Level Design, Metamorphic programming, VLSI Design automation, VLSI Design, Random Software Testing, Computer Architecture, and Parallel Processing.
Current technical reports can be downloaded from the following web page:
Baylor CS Technical Report Archive
Older technical reports are available here:
Mature Software Packages
| Package | Web Page | Manual | Software |
| FHDL | The FHDL Home Page | The FHDL Manual (pdf) |
UNIX Source
MS Windows Executable |
| DGL | The DGL Home Page | The DGL Manual.(pdf) | UNIX Source (Updated for LINUX 10/08/04) |
| Animus | The Animus Home Page |
Projects
Metamorphic Programming
The objective of this project is to provide information about the art of metamorphic programming, and ultimately a collection of tools that will assist programmers in creating metamorphic programs.
Component Level Programming
Design Automation
There will be some stuff here eventually. For right now, check out the research page by clicking the button on the left.
Random Data Generation
Also, see the DGL page (see buttons on the left)
Theory of Algorithms
This project contains overhead slides for a complete course in the Theory of Algorithms. Not every topic is touched upon. I don't deal much with algorithmic styles nor do I deal with program proofs. If you would like to contribute to this project, E-Mail me your slides. I'll give you credit for them if I post them here.
Mathematical Reasoning
Introduction
Big O notation
Mathematical Preliminaries
Basic Operations
Recurrence Relations
Sorting
Quicksort average case
Optimal Algorithms
Graph Algorithms
NP Completeness
Cook's Theorem
Parallel Algorithms
Polynomial Evaluations
Matrix Multiplication
Fast Fourier Transform
String Matching
Adversary Arguments
Picture Books
I created these electronic picture books to share some of my favorite pictures with others.
They are hosted on a non-Baylor site.
Children's Stories
These are some stories I wrote for my children. They are hosted on a non-Baylor site.
Geocaching
I have created an extensive set of tools for the benefit of the geocaching community. This material is hosted on a non-Baylor site.
Baylor Home Pages: University --- School --- Department
Email: peter_maurer@baylor.edu
Phone: (254) 710-7305
Fax: (254) 710-3889
Address:
-- Department of Computer Science
-- Box 97356
-- Baylor University
-- Waco, TX 76798-7356
-- USA.