Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "program transformation" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 156
Tytuł:
Revisiting the Futamura Projections: A Diagrammatic Approach
Autorzy:
Williams, B. M.
Perugini, S.
Powiązania:
https://bibliotekanauki.pl/articles/375830.pdf
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
compilation
compiler generation
Futamura Projections
Graal; interpretation
partial evaluation
program transformation
PyPy
Truffle
Opis:
The advent of language implementation tools such as PyPy and Truffle/Graal have reinvigorated and broadened interest in topics related to automatic compiler generation and optimization. Given this broader interest, we revisit the Futamura Projections using a novel diagram scheme. Through these diagrams we emphasize the recurring patterns in the Futamura Projections while addressing their complexity and abstract nature. We anticipate that this approach will improve the accessibility of the Futamura Projections and help foster analysis of those new tools through the lens of partial evaluation.
Źródło:
Theoretical and Applied Informatics; 2016, 28, 4; 15-32
1896-5334
Pojawia się w:
Theoretical and Applied Informatics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An experimental study on recognizing classes of dependence relations
Techniki identyfikacji klas relacji zależności w pętlach programowych
Autorzy:
Bielecki, W.
Klimek, T.
Pietrasik, M.
Powiązania:
https://bibliotekanauki.pl/articles/156048.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
pętle afiniczne
relacja zależności
transformacje pętli
przetwarzanie równoległe
affine loops
dependence relations
program transformation
parallelization
Opis:
A classification of dependence relations representing exact dependences in program loops is presented. The class of a relation causes the choice of techniques for program loop parallelization. Techniques to recognize the class of a relation are presented. The implementation of these techniques by means of the Omega library is discussed. Results of an experimental study aimed at recognizing classes of dependence relations extracted for popular benchmarks (Livermore Loops, NAS, and UTDSP) are outlined.
W artykule dokonano podziału relacji zależności występujących w pętlach programowych. Na podstawie przeprowadzonych obserwacji wyodrębniono sześć podstawowych klas takich relacji. Trafne rozpoznanie danej klasy relacji opisującej zależności, determinuje dobór odpowiedniej techniki transformacji pętli programowej i tym samym pozwala na uzyskanie znacznie większego jej stopnia równoległości w porównaniu z metodami bazującymi na rozwiązaniach przybliżonych. Rozwiązania takie, zawierają zdecydowanie większą liczbę zależności, aniżeli ich faktyczna liczba wystąpień. W celu ułatwienia procesu identyfikacji poszczególnych klas relacji zależności, przedstawiono szereg formalnych metod ich rozpoznania wykorzystujących szeroki wachlarz mechanizmów zawartych w bibliotece Omega. Na potrzeby przeprowadzonych badań zaimplementowano narzędzie, w ramach którego przeanalizowano zestawy pętli trzech popularnych benchmarków : Livermoore, NAS i UTDSP. Uzyskane wyniki pozwoliły wyciągnąć wnioski odnośnie procentowego udziału relacji zależności w zaproponowanych przez autorów klasach.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 10, 10; 799-802
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wpływ redukcji zależności w pętlach programowych na zużycie zasobów w systemach wbudowanych
Impact of dependence reduction in programming loops on resource usage in embedded systems
Autorzy:
Bielecki, W.
Siedlecki, K.
Powiązania:
https://bibliotekanauki.pl/articles/155185.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
redukcja zależności
transformacje pętli programowych
systemy osadzone
embedded systems
program loop transformation
redundant dependence removing
Opis:
Zaprezentowano wpływ redukcji zależności na zużycie zasobów dla pętli programowych zapisanych w języku ANSI-C. Do redukcji zależności wykorzystane zostały popularne techniki (redukcja zmiennych skalarnych, indukcja zmiennych, przekoszenie pętli, podział i łączenie pętli oraz rozszerzenie zmiennych skalarnych) jak również nowe pozwalające na redukcję zależności bez konieczności modyfikacji kodu pętli. Omówiono zużycie zasobów pamięciowych w zależności od zastosowanej transformacji. Dla przykładowych pętli przedstawiono analizę zużycia zasobów w kontekście systemów osadzonych.
The influence of dependence removal techniques on computer resource utilization for program loops is investigated. Source loops are represented in the C language. Removing redundant dependence relations allows reducing time complexity of algorithms whose input is a set of dependence relations while output is a parallel program. In addition, removing dependences leads to reducing computer resource utilization. Well-known techniques and those proposed by the authors are examined. The following well-known techniques are investigated: scalar reduction, induction variable elimination, loop skewing, loop splitting, loop fissioning, and scalar expansion. All techniques are illustrated by means of examples. Additional techniques being examined are removing dependence relations describing the same dependences as well as removing dependence relations representing linear dependent distance vectors. For a chosen example, for each technique under examination, its effectiveness is presented and the effect of com-puter resource utilization is shown.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 8, 8; 833-835
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Preschool Education in the Light of Current Program Assumptions. Selected Aspects
Autorzy:
ORDON, URSZULA
Powiązania:
https://bibliotekanauki.pl/articles/455963.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Rzeszowski
Tematy:
child
preschool education
core curriculum
program changes
directions of transformation
Opis:
In the context of current education reforms carried out at various levels of education, it is im-portant to ask about high quality and child friendly preschool education. As stated by Klim- -Klimaszewska, “preschool education in Poland is the first stage of education system. Its main task is not only to help parents in mentoring and education of children, but first of all to stimulate their comprehensive development and school preparation” (Klim-Klimaszewska, 2012, p. 9). At the level of preschool education we observed multidimensional transformations that aimed at new approach to the theory and paradigms of education, which serves improvement of effectiveness of children’s education.
Źródło:
Edukacja-Technika-Informatyka; 2018, 9, 2; 98-103
2080-9069
Pojawia się w:
Edukacja-Technika-Informatyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Rewolucja w dziedzinie wojskowości : (proponowany zarys programu szkolenia)
Autorzy:
Faber, Peter.
Pawłowski, Jacek (1946- ).
Gawliczek, Piotr.
Powiązania:
Zeszyty Naukowe / Akademia Obrony Narodowej 2003, nr 4, s. 97-113
Data publikacji:
2003
Tematy:
Transformacja w wojsku nauczanie program projekty 2003 r.
Military transformation
Opis:
Zawiera wypow.: Jacka Pawłowskiego i Piotra Gawliczka nt. Rewolucje wojskowe czy transformacja.
Dostawca treści:
Bibliografia CBW
Artykuł
Wyświetlanie 1-15 z 156

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies