编写一个C#程序，实现一个支持通配符匹配的正则表达式引擎，支持以下规则：

- '.' 匹配任意单个字符
- '*' 匹配零或多个前面的元素

要求：

1. 实现函数 `bool IsMatch(string s, string p)`，返回 `true` 表示字符串 `s` 能够匹配模式 `p`，否则返回 `false`。
2. 匹配应覆盖整个输入字符串（不是部分匹配）。
3. 请使用动态规划方法实现，并确保时间复杂度为 O(m * n)，其中 m 和 n 分别为输入字符串和模式的长度。
4. 不得使用 .NET 内置的正则表达式库（如 `System.Text.RegularExpressions`）。

示例：

```csharp
IsMatch("aa", "a") => false
IsMatch("aa", "a*") => true
IsMatch("ab", ".*") => true
IsMatch("aab", "c*a*b") => true
IsMatch("aaa", "aaaa") => false
IsMatch("aaa", ".*") => true
```