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ę "runtime" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Increasing flexibility and availability of manufacturing systems - dynamic reconfiguration of automation software at runtime on sensor faults
    Autorzy:
    Wannagat, A.
    Vogel-Heuser, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/384699.pdf
    Data publikacji:
    2009
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    agents
    programmable logic controller (PLC)
    industrial production systems
    availability
    Opis:
    This proposal introduces a conceptual design of self-adapting system software to manage sensor failures in factory automation. The approach reconfigures the arrangement of software modules in real time to preserve the required stability of production processes without interrupts. Reconfiguration will be decided by rules from a knowledge base system. This paper discusses conventional, o bject oriented and agent based concepts, and focuses on modelling of these concepts. For discussion purposes, a real industrial application - a continuous thermo-hydraulic press will be presented as application example.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 3; 47-53
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Electro-thermal Co-simulation of Ics with runtime back-annotation capability
    Autorzy:
    Timár, A.
    Bognár, G.
    Poppe, A.
    Rencz, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/397825.pdf
    Data publikacji:
    2010
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    elektrotermiczna symulacja
    rozkład temperatury
    logi-termiczna symulacja
    logi-thermal simulation
    electro-thermal simulation
    temperature distribution
    Opis:
    A novel approach to logical and thermal co-simulation of ASIC circuits is presented in this paper. Numerous electro-thermal simulator implementations are present nowadays, but these simulators approach the electro-thermal simulation domain by co-simulating electronic and thermal effects at a low structural level.This approach has the advantage of being very accurate but at the expense of simulation time. In this paper an alternative way to simulate standard cell ASIC circuits electrically and thermally in a concurrent process, in RTL level is presented. Our approach considers standard cells of a digital design as basic building blocks and calculates a thermal distribution map on the surface of the chip. The temperature map is calculated from the cells' power characteristics and the switching activity of the regularly working circuit. We call the presented approach logi-thermal simulation. An implementation of the method is also presented in this paper: a new simulation software, CettTherm is under heavy development in the Department of Electron Devices at BME, Hungary.
    Źródło:
    International Journal of Microelectronics and Computer Science; 2010, 1, 3; 287-292
    2080-8755
    2353-9607
    Pojawia się w:
    International Journal of Microelectronics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Translation of use case scenarios to Java code
    Autorzy:
    Śmiałek, M.
    Jarzębowski, N.
    Nowakowski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/305373.pdf
    Data publikacji:
    2012
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    use cases
    runtime semantics
    model transformation
    Opis:
    Use cases are usually treated as second class citizens in the software development chain based on models. Their textual descriptions (scenarios) are treated as informal input to more formal design models that can then be (semi-)automatically transformed down to code. In this paper we will show that use case scenarios can gain precise metamodel-based notation and semantics enabling automatic processing. What is more, we will show transformation algorithms that can transform use case scenarios directly to dynamic code in Java. The presented transformation can generate the full structure of the system following the MVP architectural pattern, including complete method contents for the application logic (Presenter) and presentation (View) layers. It also provides a code skeleton for the domain logic (Model) layer. The use case notation and the transformation were implemented within a sophisticated tool suite. Based on this, the paper discusses the evaluation efforts based on a case study.
    Źródło:
    Computer Science; 2012, 13 (4); 35-52
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Turing machine approach to runtime software adaptation
    Autorzy:
    Rudy, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/952943.pdf
    Data publikacji:
    2014
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    runtime change
    dynamic modification
    computability theory
    turing machines
    Opis:
    In this paper, the problem of applying changes to software at runtime is considered. The computability theory is used in order to develop a more general and programming-language-independent model of computation with support for runtime changes. Various types of runtime changes were defined in terms of computable functions and Turing machines. The properties of such functions and machines were used to prove that arbitrary runtime changes on Turing machines are impossible in general cases. A method of Turing machine decomposition into subtasks was presented and runtime changes were defined through transformations of the subtask graph. Requirements for the possible changes were considered with regard to the possibility of subtask execution during such changes. Finally, a runtime change model of computation was defined by extension of the Universal Turing Machine.
    Źródło:
    Computer Science; 2014, 15 (3); 293-310
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analysis of SQL Injection Detection Techniques
    Autorzy:
    Singh, J. P.
    Powiązania:
    https://bibliotekanauki.pl/articles/375681.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    SQL Injection
    runtime monitoring
    Static Analysis
    Opis:
    SQL Injection is one of the vulnerabilities in OWASP's Top Ten List forWeb Based Application Exploitation. These type of attacks take place on Dynamic Web applications as they interact with databases for various operations. Current Content Management System like Drupal, Joomla or Wordpress have all information stored in their databases. A single intrusion into these type of websites can lead to overall control of websites by an attacker. Researchers are aware of basic SQL Injection attacks, but there are numerous SQL Injection attacks which are yet to be prevented and detected. Over here, we present the extensive review for the Advanced SQL Injection attack such as Fast Flux SQL Injection, Compounded SQL Injection and Deep Blind SQL Injection. We also analyze the detection and prevention using the classical methods as well as modern approaches. We will be discussing the Comparative Evaluation for prevention of SQL Injection.
    Źródło:
    Theoretical and Applied Informatics; 2016, 28, 1-2; 37-55
    1896-5334
    Pojawia się w:
    Theoretical and Applied Informatics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dynamic Turing Machine: model and properties for runtime code changes
    Autorzy:
    Rudy, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/305728.pdf
    Data publikacji:
    2016
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    computability theory
    models of computation
    Turing machine
    runtime code changes
    Opis:
    In this paper, a dynamic model of computation based on the Universal Turing Machine is proposed. This model is capable of applying runtime code modifications for 3-symbol deterministic Turing Machines at runtime and requires a decomposition of the simulated machine into parts called subtasks. The algorithm for performing runtime changes is considered, and the ability to apply runtime changes is studied through computer simulations. Theoretical properties of the proposed model, including computational power as well as time and space complexity, are studied and proven. Connections between the proposed model and Oracle Machines are discussed. Moreover, a possible method of implementation in real-life systems is proposed.
    Źródło:
    Computer Science; 2016, 17 (2); 187-224
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wpływ programowania równoległego na wydajność programu Javy
    The impact of parallel programming on performance of Java program
    Autorzy:
    Krawiec, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/103686.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    programowanie
    programowanie równoległe
    Java
    framework
    wydajność programu
    czas wykonania programu
    programming
    parallel programming
    code efficiency
    runtime
    Opis:
    W artykule przedstawiono praktyczne aspekty programowania obiektowego w języku Java w zakresie programowania równoległego, czyli techniki stosowanej w celu wykorzystywania komputerów wieloprocesorowych (lub wielordzeniowych). Przedstawiono mechanizmy, które zapewniają programistom Javy korzystanie z wielu procesorów w przejrzysty i skalowany sposób. Zaprezentowano mechanizmy wspierające techniki programowania równoległego. Przedstawiono technikę rekurencji w ramach strategii „Dziel i zwyciężaj” oraz zasady przetwarzania sekwencyjnego. Zbadano możliwości zwiększenia kodu programu Javy w zakresie technik programowania równoległego na przykładzie frameworku Fork/Join. Przedstawiono możliwości tego frameworku pod kątem zwiększenia wydajności programu Javy. Przeprowadzono pomiary czasu wykonania programu dla różnych poziomów równoległości oraz różnych progów przetwarzania sekwencyjnego. Wykazano, że odpowiednia konstrukcja kodu Javy może znacznie skrócić czas wykonywania programu Javy, co przekłada się na wydajność programu.
    The article presents the practical aspects of object-oriented programming language Java in the field of parallel programming, a technique used in order to use multiprocessor computers (or multi-core). Mechanisms supporting parallel programming techniques were presented. Recursion technique in the framework of the "Divide and conquer" and the principle of sequential processing were presented. We examined the possibility of increasing the Java code program in the field of parallel programming on the example framework Fork/Join. The possibilities of this framework to improve performance of a Java program were presented. The measurements of the program runtime for different levels of parallelism and different thresholds for sequential processing were conducted. It has been shown that proper design of Java code can significantly shorten the duration of the program Java, which translates to program performance.
    Źródło:
    Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Technika, Informatyka, Inżynieria Bezpieczeństwa; 2017, T. 5; 25-38
    2300-5343
    Pojawia się w:
    Prace Naukowe Akademii im. Jana Długosza w Częstochowie. Technika, Informatyka, Inżynieria Bezpieczeństwa
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Analiza rozwoju środowiska uruchomieniowego systemu Android
    Analysis of the development Android’s runtime
    Autorzy:
    Honcharenko, Kostiantyn
    Smołka, Jakub
    Powiązania:
    https://bibliotekanauki.pl/articles/98094.pdf
    Data publikacji:
    2019
    Wydawca:
    Politechnika Lubelska. Instytut Informatyki
    Tematy:
    Android
    środowisko uruchomieniowe
    Dalvik
    ART
    run time
    Opis:
    W artykule przedstawiono rozwój środowiska uruchomieniowego systemu Android. Zaprezentowano własną aplikację dla systemu Android, w której zaimplementowano testy wydajności wykorzystane do przeprowadzenia badań w różnych wersji środowiska. Test jest metodą, która implementuje różne operacji w systemie Android oraz mierzy czas ich wykonania.
    The article presents the development of the Android runtime. Own application for Android is presented, which implements performance benchmarks used to test different versions of the Android runtime. The methods measure the benchmark execution times in different versions of the Android runtime environment.
    Źródło:
    Journal of Computer Sciences Institute; 2019, 12; 246-251
    2544-0764
    Pojawia się w:
    Journal of Computer Sciences Institute
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Compiler and virtual machine of a multiplatform control environment
    Autorzy:
    Sadolewski, Jan
    Trybus, Bartosz
    Powiązania:
    https://bibliotekanauki.pl/articles/2173658.pdf
    Data publikacji:
    2022
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    control environment
    IEC 61131-3 standard
    intermediate language
    compiler
    runtime virtual machine
    kontrola środowiska
    norma IEC 61131-3
    język średniozaawansowany
    kompilator
    wirtualna maszyna uruchomieniowa
    Opis:
    Design and operation of a compiler and virtual machine, being the essential components of a multiplatform control programming environment, are presented. The compiler translates source programs written in Structured Text language of the IEC 61131-3 standard into executable code in a dedicated intermediate language. The virtual machine, i.e. a specially designed processor implemented in software, is a runtime part of the environment executing the code in real time. Due to memory-to-memory operation principle the machine is able to process various data types defined in the standard. The focus is given on overloading and extensibility of the functions, as well as on uniform invocations of Program Organization Units. By selection of addressing mode, the environment can be deployed on multiple hardware platforms, beginning from 8-bit microcontrollers up to 32/64-bit industrial PCs. Industrial applications are indicated.
    Źródło:
    Bulletin of the Polish Academy of Sciences. Technical Sciences; 2022, 70, 2; art. no. e140554
    0239-7528
    Pojawia się w:
    Bulletin of the Polish Academy of Sciences. Technical Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-9 z 9

      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