Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

An approach to form affine time partitioning for statement instances of arbitrarily nested loops

Bielecki W., Siedlecki K., Wernikowski S.

Pomiary Automatyka Kontrola

2010

R. 56, nr 10

1186-1189

A novel approach to form affine time partitioning for statement instances of arbitrary nested loops is presented. It is based on extracting free-scheduling which next is used to form a system of equations to produce legal time partitioning. The approach requires an exact dependence analysis. To carry out experiments, the dependence analysis by Pugh and Wonnacott was chosen. Examples illustrating the approach and the results of experiments are presented.

Przedstawiona została nowa metoda do tworzenia afinicznych odwzorowań czasowych instancji instrukcji dla pętli dowolnie zagnieżdżonych. Metoda bazuje na ekstrakcji harmonogramu swobodnego, wykorzystywanego do tworzenia legalnego odwzorowania czasowego. Metoda wymaga dokładnej analizy zależności. Do przeprowadzenia eksperymentów, wybrana została analiza zależności zaproponowana przez Pugh'a and Wonnacott'a. W analizie tej zależności reprezentowane są przez relacje zależności, natomiast przestrzeń iteracji przez zbiory. Do tworzenie zbiorów i relacji zależności wykorzystywana jest arytmetyka Presburgera. Zostały przedstawione przykłady ilustrujące działanie metody dla pętli idealnie zagnieżdżonej, jak i dla pętli nieidealnie zagnieżdżonej. Eksperymenty przeprowadzone zostały na procesorach graficznych firmy nVidia z wykorzystaniem technologii CUDA w trybie zgodności z wersją 1.1. Wyniki zostały przedstawione w formie tabelarycznej. Zostały przedstawione prace pokrewne oraz kierunek dalszych badań.

SWAT System kojarzenia przedsięwzięć softwarowych

Wernikowski S.

Metody Informatyki Stosowanej

2007

nr 1(Tom 11)

45-75

The paper describes the project and implementation of the SWAT system (where SWAT is a native Polish word meaning ,,match-maker"). SWAT is cooperative platform provided for companies operating on an IT market, especially for software producers, as well as for programmers working as a freelancers". The system is intended to be a place, where software makers and their potential customers can find each other and meet themselves. The ,,match-making" process provided by SWAT tries to find optimal matches (assumed as set of pairs Producer - Customer) for given list of demands and properties. The article contains description of main concepts used during the analysis phase, the theoretical principles taken to implementation, the implementation itself, the structure of database being used by the system and cases, when the system might be usable.