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ę "compilation" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 21
Tytuł:
Realizacja funkcji magicznej w tekście jednego chamaiła
THE MAGIO FUNCTION AS REALIZED IN A CHAMAIŁ
Autorzy:
Kożinowa, Ałła
Tarełko, Michaił
Powiązania:
https://bibliotekanauki.pl/articles/611303.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
the Quran
chamaił
cultural borderland
verbal code
object code
actional code
Slavic words
the treatment of diseases
the use of herbs
text compilation
Koran
pogranicza kulturowe
kod werbalny
kod przedmiotowy
kod akcjonalny
wyrazy słowiańskie
leczenie chorób
użycie ziół
tekst kompilacyjny
Opis:
Odnaleziony przez autorów w Mińsku fragment muzułmańskiego podręcznego notatnika zwanego chamaiłem, pochodzący z okresu I Rzeczypospolitej, jest autentycznym świadectwem pogranicza kulturowego i językowego. Poświadcza przenikanie się w tekście kodów werbalnego, przedmiotowego i akcjonalnego, łączenie praktyk magicznych muzułmańskich ze słowiańskimi, a na gruncie językowym mieszanie w jednym zdaniu elementów polskich z białoruskimi, przy czym wyrazy słowiańskie zostały zapisane pismem arabskim. Tak więc cytaty z Koranu sąsiadują ze sprzecznym z tradycją muzułmańską zaleceniem użycia alkoholu jako leku, a liczne przepisy na leczenie chorób takich jak wysypka, krwawienie, suchoty, febra, żółtaczka, łamanie kości zalecają użycie odpowiednich ziół, co jest znane lokalnej społeczności słowiańskiej. Występują w badanym chamaile także zalecenia oryginalne, szerzej w kręgu słowiańskim nieznane, co wskazuje na kompilacyjny charakter tego tekstu.
In Minsk, Byelorussia, the authors of the article have found a fragment of a Muslim pocket notebook called chamaił, dating back to the times of the 1st Polish Republic. It is a genuine piece of evidence for the existence of a cultural and linguistic borderland in that area. It documents interpenetration of the verbal, object and actional codes, combining magic Muslim and Slavonic practices. Linguistically, it evidences the mixing of Polish and Byelorussian elements (Slavonic elements being written in Arabic script). Quotations from the Koran are provided next to advice to use alcohol as medication, which is against the Muslim tradition. Numerous prescriptions to treat such illnesses as a rash, bleeding, tuberculosis, fever, jaundice or bone pains advise to use appropriate herbs, a practice known to the local Slavonic community. The chamaił also contains original pieces of advice, unknown in larger Slavonic circles, which suggests that the text is a compilation.
Źródło:
Etnolingwistyka. Problemy Języka i Kultury; 2001, 13; 231-246
0860-8032
Pojawia się w:
Etnolingwistyka. Problemy Języka i Kultury
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Role of the Greek in Charisius’ Ars grammatica
Rola greki w Ars grammatica Charyzjusza
Autorzy:
Stoppie, Karen
Powiązania:
https://bibliotekanauki.pl/articles/1953787.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
gramatyka łacińska
Diomedes
Charyzjusz (Charisius)
Dositheus
potencjalni czytelnicy Charyzjusza
kompilacja
Quellenforschung
Cominianus
Julius Romanus
Barwick
Beda
Pseudo-Cyrillus
Schulgrammatik
gramatyka regułkowa (Regulae)
Pseudo-Probus
Priscian
greka w gramatyce łacińskiej
bilingwalizm
τέχνη γραμματική
Latin grammar
Charisius
Charisius’ implied audience
compilation
Regulae grammar
Greek in a Latin grammar
bilingualism
Opis:
W łacińskim podręczniku Charyzjusza (Flavius Sosipater Charisius), gramatyka z IV wieku, spotykamy wiele elementów języka greckiego. W niniejszym artykule przedstawiamy ogólną klasyfikację sposobów użycia greki przez Charyzjusza, a także pokazujemy, co owe greckie elementy mogą nam powiedzieć o tym gramatyku (o jego znajomości greki, łaciny i tradycji gramatycznych obu tych języków) oraz o jego potencjalnych czytelnikach.Elementy greki dzielimy na następujące kategorie:1. grecka terminologia gramatyczna;2. wyrażenia greckie;3. cytaty greckie;4. etymologie greckie;5. dwujęzyczne odwołania do literatury łacińskiej;6. przykłady dwujęzyczne;7. fragmenty, w których przekazywana jest dokładna znajomość gramatyki greckiej, oraz8. fragmenty, gdzie język łaciński jest nauczany przez odwoływanie się do odpowiednich elementów języka greckiego.
Źródło:
Roczniki Humanistyczne; 2005, 53, 3; 123-139
0035-7707
Pojawia się w:
Roczniki Humanistyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Automatic tuning framework for parallelized programs
Iteracyjny kompilator zrównoleglający oraz optymalizujący lokalność danych
Autorzy:
Burak, D.
Radziewicz, M.
Wierciński, T.
Powiązania:
https://bibliotekanauki.pl/articles/153574.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
kompilator zrównoleglający
optymalizacja lokalności danych
kompilacja iteracyjna
algorytm DES
OpenMP
parallelized compiler
data locality optimization
iterative compilation
Data Encryption Standard
Opis:
Complexity of computers has grown tremendously in recent years, because, among others, multi-processor and multi-core architectures are in widespread use. Parallelized programs should run on multi-core processors to use the most of its computing power. Exploiting parallel compilers for automatic parallelization and data locality optimization of sequential programs reduces costs of software. In this paper there is described the WIZUTIC Compiler Framework developed in the Faculty of Computer Science and Information Technology of the West Pomeranian University of Technology. The application uses the source code of the PLUTO parallel compiler developed in the Ohio State University by Uday Bondhugula. The simulated annealing method and the Bees algorithm are used for finding proper transformations of the source code for given program features. The experimental study results using the Data Encryption Standard (DES) algorithm are described and the speed-ups of encryption and decryption processes are presented.
W artykule przedstawiono autorski kompilator zrównoleglający oraz optymalizujący lokalność danych- WIZUTIC oraz jego wykorzystanie do skrócenia czasu przetwarzania algorytmu szyfrowania DES. Do utworzenia kompilatora WIZUTIC transformującego kod źródłowy zapisany w języku C ze źródła do źródła wykorzystano kody źródłowe kompilatora PLUTO autorstwa Uday'a Bondhuguli służącego do optymalizacji lokalności danych z zastosowaniem transformacji tiling oraz zrównoleglenia pętli programowych z wykorzystaniem gruboziarnistej równoległości. W procesie kompilacji wykorzystano technikę kompilacji iteracyjnej oraz dwie metody optymalizacji: symulowane wyżarzanie (SA) oraz algorytm pszczół (BA) służące do określenia odpowiedniego rozmiaru bloku transformacji tiling. Przedstawiono wyniki badań eksperymentalnych dla algorytmu DES pracującego w trybie ECB. Badania przeprowadzona z zastosowaniem maszyny 8-procesorowej Quad Core Intel Xeon Processor Model E7310, kompilatora GCC GNU z wykorzystaniem standardu OpenMP w wersji 3.0 oraz narzędzia do profilowania kodu Intel VTune.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 12, 12; 1526-1528
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Compiler-level implementation of single event upset errors mitigation algorithms
Autorzy:
Piotrowski, A.
Tarnowski, S.
Powiązania:
https://bibliotekanauki.pl/articles/397937.pdf
Data publikacji:
2010
Wydawca:
Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
Tematy:
oprogramowanie wdrażające odporność na uszkodzenia sprzętu
techniki kompilacji
algorytm ochrony tabeli
pojedyńcze przypadkowe zakłócenia
tolerancyjny system promieniowania
promieniowanie otoczenia
software implemented hardware fault tolerance
compilation techniques
table protection algorithm
single event upset
radiation tolerant system
radiation environment
Opis:
Single Event Upset is a common source of failure in microprocessor-based systems working in environment with increased radiation level especially in places like accelerators and synchrotrons, where sophisticated digital devices operate closely to the radiation source. One of the possible solutions to increase the radiation immunity of the microprocessor systems is a strict programming approach known as the Software Implemented Hardware Fault Tolerance. Unfortunately, a manual implementation of SIHFT algorithms is difficult and can introduce additional problems with program functionality caused by human errors. In this paper author presents new approach to this problem, that is based on the modifications of the source code of the C language compiler. Protection methods are applied automatically during source code processing at intermediate representation of the compiled program.
Źródło:
International Journal of Microelectronics and Computer Science; 2010, 1, 1; 65-68
2080-8755
2353-9607
Pojawia się w:
International Journal of Microelectronics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie kompilacji iteracyjnej do optymalizacji warstwy programowej systemów wbudowanych
Exploiting iterative compilation in the software layer of embedded systems optimization
Autorzy:
Wierciński, T.
Radziewicz, M.
Burak, D.
Powiązania:
https://bibliotekanauki.pl/articles/154610.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy wbudowane
kompilacja iteracyjna
programowanie równoległe
algorytm DES
embedded systems
iterative compilation
parallel programming
Data Encryption Standard
Opis:
Artykuł dotyczy wykorzystania kompilacji iteracyjnej do optymalizacji warstwy programowej systemów wbudowanych. W oparciu o autorskie narzędzie WIZUTIC zminejszono czas przetwarzania algorytmu szyfrowania DES. Danymi wejściowymi kompilatora są programy sekwencyjne, wynikami programy zrównoleglone zgodnie ze standardem OpenMP oraz zoptymalizowane pod względem lokalności danych. Parametrem kompilacji iteracyjnej jest rozmiar bloku dla transformacji pętli programowej-tiling.
Embedded systems are special-purpose computers that perform one or few dedicated tasks. They are mostly part of larger electronic devices, such as communication devices, home appliances, office automation, business equipment, automobiles, etc. Complexity of computers has grown tremendously in recent years, because multi-core processors are in widespread use. Parallelized programs must be run on multi-core processors to use the most of its computing power. Exploiting parallel compilers for automatic parallelization of sequential programs accelerates design processes and reduces costs of the designed systems. In this paper there is described a WIZUTIC iterative compiler developed by the Faculty of Computer Science and Information Technology of the West Pomeranian University of Technology. It uses the source code of PLUTO parallel compiler developed at the Ohio State University by Uday Bondhugula. A simulated annealing algorithm is used for finding optimization passes for the given program features. Parameters that are changed in each iteration are tile sizes of loop transformation tiling. Experimental tests are described and the speed-up results obtained for the DES encryption algorithm are given.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 701-704
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Opracowanie i redakcja średnioskalowej mapy topograficznej obszaru górskiego w środowisku ArcInfo
Preparation of a Middle-Scale Topographic Map of Mountainous Area in ArcInfo Environment
Autorzy:
Jancewicz, K.
Krupski, J.
Powiązania:
https://bibliotekanauki.pl/articles/204422.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Geograficzne
Tematy:
redakcja map ogólnogeo-graficznych
cieniowanie
rysunek skał
GIS
ArcInfo
general maps compilation
hill-shading
rock drawing
Opis:
W artykule przedstawiono przykład zastosowania oprogramowania ArcInfo do redagowania mapy. Przybliżono problematykę wyboru i sposobu wykorzystania danych źródłowych, prezentacji rzeźby terenu w trakcie opracowania średnioskalowej mapy topograficznej przeznaczonej do wydruku.
In 2010 an expedition to the massif of Belukha in the Altai (4506 m a.s.l.) in Kazakhstan was organized. A topographic map in the scale of 1:100,000 had been prepared for the expedition. Ali the editorial works were performed in the environment of GIS ArcInfo package, which had been considered the most advanced in applied cartographic tools. The first version of the map had been verified in Altai and in 2011 a new version was elaborated, which mainly improved relief by addi-tion of rock drawing and modified shading. The map was prepared in 'WGS-84' coordinate system and UTM projection basing on Soviet topographic maps in '1942' coordinate system (downloaded from the Internet) and satellite images from LandsatTM and ETM+. Satellite images were used to update buildings, forests, roads, water-beds and main forms of high-mountain rock relief. ASTER GDEM and SRTM digital terrain models were also used, but their quality was not satisfactory. As a result an original terrain model in 25 m resolution was prepared, basing on vectorized contourlines and other necessary relief elements extracted from topographic maps using ANUDEM algorithm. All the elements of map contents mentioned above were prepared in ArcInfo, with input data not organized into one common database, but rather placed in a layer structure (*lyr files). Rock drawings could not be executed in ArcInfo package (ArcMap module), therefore they were done manually using satellite images. Rock drawings were adjusted to the location of mountain ridges determined basing on topographic maps. The drawing was then scanned, processed graphically in Adobe Photoshop, geo-referred and added to the map. Shading was generated from the original terrain model, detailed to follow the contourlines, modified and retouched in Photoshop, adapting the details to rock drawings and contourlines' location. The presented process of preparation of a middle-scale topographic map shows that the newest version of ArcInfo package (9.3.1) has a lot of potential for map editing, starting from data preparation to the final map. However, for particular features and forms of relief, manual involvement using other vector and raster graphic editors is necessary.
Źródło:
Polski Przegląd Kartograficzny; 2012, T. 44, nr 1, 1; 30-45
0324-8321
Pojawia się w:
Polski Przegląd Kartograficzny
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Особенно сти склон ения прилага тельных мужского и среднего родов в «Супрасльско й летописи»
Characteristics of masculine and neuter adjective inflection in the “Suprasl Chronicle”
Autorzy:
Grabowska, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/956339.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
Tematy:
Old Belorussian chronicles
the first Belorussian-Lithuanian compilation
Old Russian language
adjective
masculine and neuter inflection
Opis:
The subject matter of this article is the characterization of adjective declension system in one of Western-Ruthenian literary monuments. "The Suprasl Chronicle", which is classified by researchers as the first Belorussian-Lithuanian compilation, is in terms of language an unusually rich and varied monument. The analysis of adjective declension conducted in this article indicates that full forms are more numerous than simple ones which are used in "The Suprasl Chronicle" in the function of predicative. In the inflection of full forms some influence of the Old Church Slavonic and Belorussian languages has been observed. In the plural form of simple adjectives there is a noticeable tendency to level endings after feminine inflection paradigm.
Przedmiotem niniejszego artykułu jest charakterystyka systemu deklinacyjnego przymiotnika w jednym z zabytków zachodnioruskiego piśmiennictwa. „Kronika Supraska”, zaliczana przez badaczy do I redakcji latopisów białorusko-litewskich, jest zabytkiem niezwykle bogatym i różnorodnym pod względem językowym. Przeprowadzona w artykule analiza odmiany przymiotnika pozwala zauważyć przewagę form pełnych nad niezłożonymi, które najczęściej używane są w tekście latopisu w funkcji orzecznika. W odmianie form pełnych odnotowane zostały wpływy języków staro-cerkiewno-słowiańskiego oraz białoruskiego. W liczbie mnogiej przymiotników niezłożonych zauważalna jest tendencja do wyrównywania końcówek według paradygmatu odmiany rodzaju żeńskiego.
Źródło:
Linguodidactica; 2014, 18; 51-62
1731-6332
Pojawia się w:
Linguodidactica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Formy fleksyjne rzeczowników ŏ-tematowych w „Kronice Supraskiej”
Inflectional forms of ŏ-stem nouns in the Supraśl Chronicle
Autorzy:
Grabowska, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/956390.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
Tematy:
Old Belorussian chronicles
the first Belorussian-Lithuanian compilation
Old Russian language
noun
ŏ-, jŏ-stem declension
latopisy białorusko-litewskie
i redakcja latopisów białorusko-litewskich
język staroruski
rzeczownik
odmiana ŏ- jŏ-tematowa
Opis:
Niniejszy artykuł poświęcony jest charakterystyce form fleksyjnych rzeczowników ŏ-tematowych w XVI-wiecznym zabytku piśmiennictwa zaliczanym do I redakcji latopisów białorusko-litewskich. Celem artykułu jest analiza odmiany rzeczowników rodzaju męskiego i nijakiego z uwzględnieniem zmian w porównaniu do stanu ogólnoruskiego. Do najistotniejszych zjawisk, które znalazły poświadczenie w tekście „Kroniki Supraskiej”, należą: dążenie do wyrównań międzydeklinacyjnych oraz w obrębie samej deklinacji na *ŏ. Prowadzi to do zwiększenia ilości końcówek dla tego samego przypadku, a także wahań ich użycia. W „Kronice Supraskiej” poświadczenie znajdują szczątkowe formy liczby podwójnej. W większości przypadków zostały one wyrównane do liczby mnogiej. Zabytek charakteryzuje się również niekonsekwencją realizacji kategorii żywotności.
This article discusses the characteristic of ŏ-stem nouns in the 16th-century monument of writing belonging to the first Belorussian-Lithuanian compilation. The purpose of the article is the analysis of the declension of masculine and neuter nouns with regard to alterations in comparison with general Old Russian. The most crucial phenomena which are confirmed in the Supraśl Chronicle are: a tendency to inter-declensional leveling and within the ŏ-declension itself. It leads to an increase in the number of endings of the same case as well as fluctuations in their usage. In the Supraśl Chronicle residual forms of the dual number can be observed. In most cases they were leveled to the plural number. The text is also characterized by the inconsistent usage of the animacy category.
Źródło:
Linguodidactica; 2015, 19; 51-62
1731-6332
Pojawia się w:
Linguodidactica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Compilation and Execution of a Measurement of Chinese Undergraduates’ Moral Values Approval
Autorzy:
Zhu, Hai-Long
Powiązania:
https://bibliotekanauki.pl/articles/781520.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
Chinese undergraduates
morality
values
approval
compilation
measurement
Opis:
The study completes the compilation of the questionnaire on Chinese undergraduates’ moral values from six moral values dimensions: honesty and compliance, civility and self-discipline, love, unity and be helpful, esteem and filial respect. The questionnaire has 31 questions in all, taking advantage of Likert scale. Using this scale, its alpha reliability reach 0.887 with clear internal structure. The validity is well and the model fitting index accords with statistical measurement, which covers the shortage of empirical study on Chinese undergraduate students’ moral values. The measurement, which focused undergraduate moral values, is compiled by a total of 768 valid samples from 6 colleges. Measurement results show that there are sequences of orientation on Chinese undergraduates’ moral values approval, and the order is: Honesty and compliance, civility and discipline, filial respect unity and be helpful, love and esteem; while gender differences do exist. The male undergraduates’ identity level of honesty and compliance, civility and self-discipline, love, and filial respect ranks higher than that of female undergraduates; however, the differences, between male and female undergraduates, on unity and being helpful, as well as esteem are not significant.
Źródło:
Ethics in Progress; 2015, 6, 2; 93-103
2084-9257
Pojawia się w:
Ethics in Progress
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł:
Sposoby wyrażenia praesens i futurum w Kronice Supraskiej
Ways of expressing present and future tenses in the Supraśl Chronicle
Autorzy:
Grabowska, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/956394.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
Tematy:
Old Belorussian chronicles
the first Belorussian-Lithuanian compilation
Old Russian language
verb
present tense
future tense
latopisy białorusko-litewskie
i redakcja latopisów
język staroruski
czasownik
czas teraźniejszy
czas przyszły
Opis:
Przedmiotem artykułu jest analiza form praesens oraz futurum dokonanego i niedokonanego wyekscerpowanych z tekstu Kroniki Supraskiej – zabytku należącego do I redakcji latopisów białorusko-litewskich. W analizowanym tekście formy czasu teraźniejszego oraz przyszłego I uzyskują liczne poświadczenie. Nie odnotowano natomiast żadnej formy II typu futurum niedokonanego. Często formy 3 os. sg. futurum dokonanego użyte są w funkcji praesens historicum.
The article focuses on the analysis of forms of praesens and futurum perfect and imperfect excerpted from the Supraśl Chronicle, which belongs to the first Belorussian-Lithuanian compilation. In the examined text the forms of present and future I tenses are frequently observed. However, not a single form of futurum imperfect of type II has been found. The forms of third person singular futurum perfect are used as praesens historicum.
Źródło:
Linguodidactica; 2016, 20; 95-104
1731-6332
Pojawia się w:
Linguodidactica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Statistical models to accelerate software development by means of iterative compilation
Autorzy:
Kamińska, A.
Bielecki, W.
Powiązania:
https://bibliotekanauki.pl/articles/305535.pdf
Data publikacji:
2016
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
program execution time
optimizing compilation
iterative compilation
statistical models
rocessor cache
Opis:
Minimization of data-processing time and reduction of software-development time are important practical problems to be tackled by modern computer science. This paper presents the authors’ proposal of a family of statistical models for the estimation of program execution time, which is an approach focused on both of the above problems at the same time. The family consists of a general model and specific models and has been elaborated based on empirical data collected for pattern-program loops representing some arbitrarily selected features related to the program structure and the specificity of a program-execution environment. The paper presents steps to elaborate the aforementioned family as well as the results of the carried-out experimental research. The paper demonstrates how the elaborated models can be applied in iterative compilation for optimization purposes, allowing us to reduce the time of software development and produce code with minimal execution time.
Źródło:
Computer Science; 2016, 17 (3); 407-435
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Current State of Deep Ocean Bathymetric Exploration
Autorzy:
Zwolak, K.
Felski, A.
Powiązania:
https://bibliotekanauki.pl/articles/320506.pdf
Data publikacji:
2017
Wydawca:
Polskie Forum Nawigacyjne
Tematy:
bathymetry
ocean
multibeam echosounder
AUV
ASV
satellite altimetry
bathymetric map compilation
Opis:
The paper presents current state of bathymetric survey concerning deep ocean rather than shallow areas, which are better surveyed due to safety of navigation concerns. Rules and requirements of the new challenge, called the Shell Ocean Discovery XPRIZE, became a starting point for a discussion about the possibilities of mapping large areas of the ocean using up-to-date and new technology. The amount of bathymetric data available nowadays and the current state of ocean map compilations are also discussed in the paper as a motivation to inspire the new initiatives in the deep ocean.
W artykule przedstawiono obecny stan pomiarów batymetrycznych głębokowodnych obszarów oceanicznych. Zasady najnowszego konkursu Shell Ocean Discovery XPRIZE stały się punktem wyjścia do dyskusji o obecnych możliwościach pozyskiwania danych niezbędnych do tworzenia map oceanów w oparciu o aktualnie dostępne technologie. W artykule poruszono również zagadnienie ilości i cech danych batymetrycznych znajdujących się i udostępnianych w bazach danych gromadzących tego typu informacje.
Źródło:
Annual of Navigation; 2017, 24; 257-267
1640-8632
Pojawia się w:
Annual of Navigation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Praktyczne aspekty nauki programowania w szkole średniej
The nuts and bolts of programming science in secondary school
Autorzy:
Kisiel, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/446224.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Rzeszowski
Tematy:
programowanie,
kompilacja,
program,
android,
cpp,
nauka programowania
programming,
compilation,
programming learning
Opis:
Korelacja wiedzy zdobytej w procesie edukacji z otaczającym światem ma kluczowe znaczenie. Artykuł przedstawia nie tyle modyfikację treści nauczania programowania na lekcjach rozszerzonej Informatyki, co poprzez dobór środowiska programowania, umożliwienie tworzenia atrakcyjnych i użytkowych aplikacji na urządzenia mobilne wykorzystywane przez uczniów na co dzień.
Correlation of knowledge acquired in the education process with the surrounding world is crucial. The article presents not so much the modification of the teaching content of Programming Science, rather due to the selection of the programming environment, enabling the creation of attractive and utilitarian applications for modern devices.
Źródło:
Dydaktyka informatyki; 2018, (13) 2018; 147-152
2083-3156
Pojawia się w:
Dydaktyka informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Symultaniczność i kompilacja a obraz miejsca
Simultaneity and compilation versus image of a place
Autorzy:
Nawrot, G.
Powiązania:
https://bibliotekanauki.pl/articles/970355.pdf
Data publikacji:
2018
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:
heterotropia
architektura
węzeł
miejsce kompilacyjne
rama dla zdarzeń
heterotrophy
architecture
junction
compilation place
frame for events
Opis:
Architektura – jest wydzielaniem przestrzeni, konstruowanym z tworzywa, będącego kompilacją elementów materialnych i niematerialnych. Życie człowieka ma charakter przestrzenny, odbywa się w przestrzeni jego egzystencji: przez niego wytworzonej i zastanej. Człowiek egzystuje w przestrzeni behawioralnej, wśród architektury miasta, która jest swoistym medium – środkiem przekazu informacji składających się sumarycznie na percepcjonowane przez niego treści. Mieszka w przestrzeni realnej i wirtualnej oraz w przestrzeni będącej synergią zbudowaną z obu. Węzeł – to miejsce spotkań: pasaży, ulic… Konstruowany jako miejsce formalnie i funkcjonalnie ważne: do spotkań w mieście. Ma swoje działanie synergiczne. Budowanie węzłów – to budowanie możliwości do powstawania potencjalnych Miejsc Strategicznej Interwencji. To miejsca: kreowania zdarzeń i swoista furtka do różnorakich doznań, percepcji świata materialnego i wirtualnego oraz fantasmagorii – będących konsekwencja ich wzajemnych relacji. Konstruują je: znaczenie w geografi i miasta, znaczenie użytkowe, uformowanie kubaturowe, wydarzenia historyczne i współcześnie przekazywane informacje. Miasto, to co prawda duży dom – ale przy założeniu, że węzeł miejski jest projektowany, a nie powstaje przypadkowo, jego wybudowanie – jako obiektu architektonicznego, zespołu takich obiektów bądź założenia urbanistycznego – nie musi być krótsze niż konstruowanie w nim treści.
Architecture – is demarcation of space, built of material which is a compilation of tangible and intangible elements. Human life is of spatial nature, it takes place in space of man’s existence: created by him and found by him. A man exists in behavioural space, among architecture of the city which is kind of a medium – means of communicating information cumulating into the contents perceived by him. A man lives in real and virtual space as well as in a space which is a synergy of them both. Junction – is a meeting place: of walkways, streets… Constructed as a place formally and functionally important: for meetings in the city. It has its synergic function. Constructing junctions – means building possibilities for prospective Places for Strategic Intervention. These are places: for creating events and a kind of gate into different sensations, perception of material and virtual world and phantasmagorias – which are a consequence of their interrelationships. They are constructed by: signifi cance in the geography of the city, usability, volumetric form, historical events and contemporarily broadcast information.
Źródło:
Budownictwo i Architektura; 2018, 17, 2; 29-38
1899-0665
Pojawia się w:
Budownictwo i Architektura
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 21

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