Conference
Semantic-numerical approach to automatic synthesis of timeparamertized parallel programs
| Title: | Semantic-numerical approach to automatic synthesis of timeparamertized parallel programs |
|---|---|
| Authors: | Polyakov, Gennady, Lysykh, Vladimir, Lysykh, Konstantin, Tolstolujskaya, Elena, Tolstolujsky, Dmitry |
| Source: | 2016 11th International Forum on Strategic Technology (IFOST) Strategic Technology (IFOST), 2016 11th International Forum on. :379-384 Jun, 2016 |
| Relation: | 2016 11th International Forum on Strategic Technology (IFOST) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9781509008551 |
|---|---|
| DOI: | 10.1109/IFOST.2016.7884133 |