Parallel implementation of BDD algorithms using a distributed shared memory.
| Autor: | Parasuram, Y., Stabler, E., Shiu-Kai Chin |
|---|---|
| Zdroj: | 1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences; 1994, Issue 1, p16-25, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|