Ograniczanie wyników
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  arytmetyka Presburgera
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
PL
W niniejszym artykule przedstawiono zestaw funkcji poszerzających możliwości generowania relacji w pakiecie Omega Calculator. Funkcje umożliwiają dowolne kopiowanie ograniczeń z podmianą zmiennych w zbiorach i relacjach oraz dodawanie specjalnych ograniczeń np. porządku leksykograficznego.
EN
The extended mathematical representation of dependence relations and sets, used in algorithms for automatic parallelization, is presented. The article describes functions and implementation details of computing relations with examples. The project uses of the Omega Calculator library in Pressburger arithmetic operations on relations and sets. The extended library allows easy constructing sets and relations with additional mathematical constraints.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.