Informacja

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

Wyszukujesz frazę "java" wg kryterium: Temat


Tytuł:
A formal dynamic semantics of Java: an essential ingredient of Java security
Autorzy:
Debbabi, M.
Tawbi, N.
Yahyaoui, H.
Powiązania:
https://bibliotekanauki.pl/articles/309411.pdf
Data publikacji:
2002
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
bezpieczeństwo
kryptografia
security
static analysis
certifying compilers
Java
dynamic semantics
operational semantics
small step semantics
Opis:
Security is becoming a major issue in our highly networked and computerized era. Malicious code detection is an essential step towards securing the execution of applications in a highly inter-connected context. In this paper, we present a formal definition of Java dynamic semantics. This semantics has been used as a basis to develop efficient, rigorous and provably correct static analysis tools and a certifying compiler aimed to detect and prevent the presence of malicious code in Java applications. We propose a small step operational semantics of a large subset for Java. The latter includes features that have not been completely addressed in the related work or addressed in another semantics style. We provide a fully-fledged semantic handling of exceptions, reachable statements, modifiers and class initialization.
Źródło:
Journal of Telecommunications and Information Technology; 2002, 4; 81-120
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Nowa koncepcja rozproszonego przyrządu wirtualnego wykorzystującego telefon komórkowy z wbudowaną maszyna wirtualną platformy Java 2 Micro Edition
A new concept of a distributed virtual instrument using a mobile phone equipped with Java 2 Micro Edition virtual machine
Autorzy:
Knyziak, T.
Winiecki, W.
Powiązania:
https://bibliotekanauki.pl/articles/151725.pdf
Data publikacji:
2002
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
rozproszony przyrząd wirtualny
telefon komórkowy
maszyna wirtualna
platforma Java 2 Micro Edition
virtual machine
virtual instrument
phone
Opis:
Telefonia komórkowa jest dynamicznie rozwijającą się dziedziną, a jej zastosowania wykraczają poza proste porozumiewanie się. Jednym z zastosowań jest monitoring i zdalne sterowanie systemami pomiarowymi, które można realizować wykorzystując między innymi nową technologię Java 2 Micro Edition (J2ME). W artykule dokonano porównania możliwości ostatniej z wymienionych technologii. Zaproponowano architekturę wirtualnego oscyloskopu wykorzystującego telefon z maszyną wirtualną J2ME; przedstawiono metody służące do realizacji systemu oraz jego ograniczenia.
The article proposes an architecture of a distributed measuring system that uses Java 2 Micro Edition (J2ME) mobile phone as one of its elements. Significant advantages over SMS and WAP-based systems are presented. Capabilities and limitations of J2ME-based systems are shown and their best fitness for the purpose is manifested for foreseeable future.
Źródło:
Pomiary Automatyka Kontrola; 2002, R. 48, nr 7/8, 7/8; 53-56
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A monitoring platform for distributed Java applications
Autorzy:
Funka, W.
Bubak, M.
Smętek, M.
Wismuller, R.
Powiązania:
https://bibliotekanauki.pl/articles/1964212.pdf
Data publikacji:
2004
Wydawca:
Politechnika Gdańska
Tematy:
Java
monitoring system
monitoring interface
distributed object system
OMIS
Opis:
This paper presents a new Java oriented monitoring infrastructure that enables tools to observe, analyze and manipulate the execution of distributed Java applications independent of implementation details like instrumentation of monitored entities, hardware platform and application libraries. Tools can access the monitored application via a standardized interface defined by an On-Line Monitoring Interface Specification (OMIS) and extended by a set of new Java-specific services relating to garbage collection, class loading, remote method invocation, etc. The new monitoring functionality can be applied for building various kinds of tools and for adapting the already existing ones, such as performance analyzers, debuggers, etc., working in the on-line mode.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 2004, 8, 4; 525-536
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wykorzystanie Google Earth we własnej aplikacji do internetowej wizualizacji danych geograficznych
The use of Google Earth in a user application for the internet visualization of geographical data
Autorzy:
Jędryczka, R.
Powiązania:
https://bibliotekanauki.pl/articles/130929.pdf
Data publikacji:
2006
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
Google Earth
język KML
Java
serwlet
obraz cyfrowy
KML language
servlet
digital image
Opis:
Mówiąc obecnie o wizualizacjach danych geograficznych w Internecie nie sposób pominąć programów ogólnie dostępnych szerokim rzeszom internautów jak np. Google Earth. Stosowany w tej aplikacji język KML (Keyhole Markup Language), należący do rodziny XML, umożliwia uzupełnianie jej własnymi zewnętrznymi opracowaniami, poprzez dodawanie elementów wektorowych, takich jak np. punkty, linie, jak i rastrowych - obrazów, a także informacji tekstowej - opisów. W artykule zajęto się problemem interakcji między programem Google Earth, a własną aplikacją internetową. Celem było pokazanie sposobu automatycznego dołączania, na żądanie użytkownika, obrazów rastrowych o rozdzielczości większej niż te, które są dostępne w Google Earth, a zlokalizowanych na własnym zdalnym serwerze. W opracowaniu wykorzystano także fakt, że w wersji Plus programu Google Earth jest aktywna opcja pobierania i zapisu aktualnej pozycji geograficznej użytkownika bezpośrednio z odbiornika GPS podłączonego w danym czasie do komputera. W zaproponowanym rozwiązaniu aktualizacja i uszczegółowienie danych w Google Earth odbywa się za pomocą internetowej aplikacji napisanej w języku Java, a osadzonej na stronie WWW w formie apletu. Po pobraniu z Google Earth pozycji geograficznej obserwatora, dzięki mechanizmowi serwletów, możliwe jest przygotowanie nowego obrazu i wykreowanie odpowiedniego dokumentu w języku KML oraz przesłanie go do Google Earth w czasie rzeczywistym. Zajęto się tym zagadnieniem, gdyż uznano, że mając gotowe sprawdzone narzędzie do wizualizacji danych geograficznych warto z niego skorzystać i spróbować połączyć z własnymi rozwiązaniami, tym bardziej, że istnieje zapotrzebowanie na takie narzędzia np. wśród archeologów.
In current discussions regarding visualizations of geographical data on the Internet, it is impossible to ignore software that is freely available to Internet users in general. An example of such software is Google Earth, an application which enables the viewing of Earth's surface (covered with often highly accurate satellite or aerial imagery) in three dimensions. This application makes use of KML (Keyhole Markup Language – a member of the XML family), which allows it to use it own external supplements. This pertains to adding new vector elements such as points and lines, as well as to raster elements, such as images, and to textual information, such as descriptions. This paper deals with the interaction between Google Earth and a user application. The goal was to demonstrate how to automatically attach raster images from the user's remote server in resolutions higher than the ones available in Google Earth. The paper also acknowledges the fact that Google Earth Plus includes the option to actively download and save the user's current geographical position to a GPS receiver connected to a computer. According to the proposed solution, the providing and updating of Google Earth data is conducted using a Java-based Internet application located on a WWW page in the form of an applet. After it has downloaded the observer's geographical position from Google Earth, thanks to the servlet mechanism, it is possible to prepare a new image and to create an appropriate KML document, as well as to send it to Google Earth in real time. This issue has been addressed because of the idea that an efficient geographical data visualization tool can be effectively combined with user applications. Moreover, the issue is of interest to Polish archaeologists, for instance, for whom the automatic comparison of images taken during a photogrammetric aerial survey to archival images is a matter of great importance.
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2006, 16; 259-268
2083-2214
2391-9477
Pojawia się w:
Archiwum Fotogrametrii, Kartografii i Teledetekcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Elektroniczny klucz do oznaczania chwastów i traw
System for automatic grass and weeds recognition
Autorzy:
Dąbkowski, J.
Juliszewski, T.
Laszczak, M.
Paczyńska, B.
Filipowicz, M.
Łuków, M.
Wajda, J.
Powiązania:
https://bibliotekanauki.pl/articles/288321.pdf
Data publikacji:
2007
Wydawca:
Polskie Towarzystwo Inżynierii Rolniczej
Tematy:
klucz
oznaczanie traw
oznaczanie chwastów
serwer bazodanowy HSQL
język Java
grass recognition
weeds recognition
HSQL server
Java language
Opis:
W oparciu o używane powszechnie klucze do oznaczania roślin (zob. np.[Kościelny 1954]) opracowano algorytmy rozpoznawania chwastów i traw. Algorytmy te zaimplementowano w postaci aplikacji bazodanowej w języku Java, z zastosowaniem serwera HSQL. Zastosowana technologia umożliwia uruchamianie aplikacji na dowolnej platformie systemowej z dowolnego nośnika uruchomieniowego (np. dysku flash).
The paper describes database application for automatic grass and weeds recognition. Algorithms used in the application are based on the traditional recognition patterns (see e.g. [Kościelny 1954]). The system is written in Java and uses HSQL database. Such technology enables one to run application on any system platform and from any booting device - e.g. Flash Disc.
Źródło:
Inżynieria Rolnicza; 2007, R. 11, nr 2 (90), 2 (90); 29-34
1429-7264
Pojawia się w:
Inżynieria Rolnicza
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Embedded real-time system for climate control in a complex greenhouse
Autorzy:
Candido, A.
Cicirelli, F.
Furfaro, A.
Nigro, L.
Powiązania:
https://bibliotekanauki.pl/articles/25752.pdf
Data publikacji:
2007
Wydawca:
Polska Akademia Nauk. Instytut Agrofizyki PAN
Tematy:
control system
Java
humidity
external temperature
internal temperature
real-time system
climate control
greenhouse
integrated development
rainfall
wind conditions
embedded real-time system
Źródło:
International Agrophysics; 2007, 21, 1
0236-8722
Pojawia się w:
International Agrophysics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
From formal methods to implementation based on Petri Nets model of concurrent systems
Od metod formalnych do implementacji na przykładzie modelu w sieci Petriego systemu współbieżnego
Autorzy:
Wojciechowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/152825.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sieci Petriego
metody formalne
rzutowanie
modele klas w Java
procedury w języku C
Petri nets
formal methods
mapping
C language
Opis:
Purpose of this work is to suggest a path from formal methods to implementation in designing concurrent system, thus helping further stages of systems development to go on. Author focuses on mapping of nonhierarchical Coloured Petri Nets model to class model of the system in Java and C language. Author extends among others formal model with information which would imply generation of class models from formal model, conforming to Java specification and C language, making continuous integration possible. The whole cycle would be presented with changed Petri Nets model of simple concurrent system.
Celem pracy jest zaproponowanie ścieżki przejścia od modelu formalnego systemu opisanego siecią Petriego do implementacji. Autor skupia się na rzutowaniu niehierarchicznych modeli sieci do modelu klas odpowiadającemu obiektowemu paradygmatowi programowania języka Java i proceduralnemu dla języka C. Autor rozszerza model formalny o informację umożliwiającą dokonanie konwersji do modelu klas i procedur. Cały cykl będzie zaprezentowany na prostym systemie współbieżnym.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 132-134
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Integration platform as central service of data replication in distributed medical system
Platforma integracyjna jako centralny system replikacji danych w sieciowym systemie medycznym
Autorzy:
Wajs, W.
Rączka, K.
Stoch, P.
Kruczek, P.
Powiązania:
https://bibliotekanauki.pl/articles/305696.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
systemy medyczne
replikacja danych
architektura rozproszona
diagram encji
XML
Java
medical system
data replication
distributed architecture
entity relationship diagram
ERD
Opis:
The paper presents the application of Java Integration Platform (JIP) to data replication in the distributed medical system. After an introductory part on the medical system's architecture, the focus shifts to a comparison of different approaches that exist with regard to transferring data between the system's components. A description is given of the historical data processing and of the whole area of the JIP application to the medical system.
Artykuł prezentuje wykorzystanie platformy integracyjnej JIP (Java Integration Platform) do realizacji replikacji danych w sieciowym systemie medycznym. Przedstawiono architekturę systemu medycznego, a następnie porównano różne podejścia do przesyłania danych pomiędzy komponentami systemu. Omówiono również przetwarzanie danych historycznych oraz pełny obszar wykorzystania platformy JIP w systemie medycznym.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 135-142
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Język C# i biblioteka DirectX w procesie wspomagania tworzenia gier na platformie MS Windows
Autorzy:
Rosiek, Z.
Powiązania:
https://bibliotekanauki.pl/articles/91511.pdf
Data publikacji:
2007
Wydawca:
Warszawska Wyższa Szkoła Informatyki
Tematy:
grafika komputerowa
biblioteka DirectX
język C++
język Java
computer graphics
DirectX library
C++ language
Java language
Opis:
Tworzenie grafiki komputerowej na potrzeby symulacji oraz gier jest zadaniem dość trudnym w porównaniu z innymi dziedzinami programowania. Wymagana jest znaczna wiedza z zakresu matematyki i fizyki oraz dostęp do odpowiednich bibliotek takich jak np. DirectX. W artykule przedstawiono historię i istotne elementy grafiki komputerowej w odniesieniu do platformy MS Windows. Została pokrótce scharakteryzowana biblioteka DirectX. Użycie elementów biblioteki przedstawiono za pomocą prostego przykładu. Biblioteka została zastosowana w środowisku NET. Framework. Przykładową aplikację napisano w języku C#. Podano jego główne cechy i porównano z innymi popularnymi językami (C++, Java) w celu wykazania, że jest on nowoczesnym, wygodnym i prostym w użyciu narzędziem do tworzenia aplikacji, również graficznych.
Designing computer graphics for simulations and games is quite a difficult task in comparison with other domains of software design. Not only is considerable knowledge required in the field of mathematics and physics, but also the access to proper libraries, such as DirectX, is vital. The article describes the history and the most important features of computer graphics with reference to the MS Windows platform. The DirectX library is briefly described. The usage of the library is demonstrated on a simple example. The library is used in .NET Framework environment. Example application is written in C# language. The main features of C# are shown and the language is compared with other frequently used programming languages, such as C++ and Java, to show that C# is a modern, simple and convenient tool for creating applications, also graphical ones.
Źródło:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2007, 2, 2; 59-75
1896-396X
2082-8349
Pojawia się w:
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Generowanie i wizualizacja w internecie anaglifowych obrazów przestrzennych z niemetrycznych aparatów cyfrowych
Generation and visualisation of anaglyphic spatial images from non-metric digital images via the internet
Autorzy:
Paszotta, Z.
Powiązania:
https://bibliotekanauki.pl/articles/131310.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
obraz cyfrowy
macierz fundamentalna
rozkład SVD
Java
Internet
digital image
fundamental matrix
singular value decomposition
Opis:
Problem generowania obrazów przestrzennych w fotogrametrii rozwiązywany jest za pomocą obrazów epipolarnych. Odpowiednią metodę przedstawił Kreiling w 1976 roku. Dotyczy ona jednak zdjęć fotogrametrycznych, dla których znana jest orientacja wewnętrzna. W przypadku obrazów cyfrowych pozyskiwanych kamerami niemetrycznymi należy stosować inne rozwiązanie korzystające z pojęcia macierzy fundamentalnej, wprowadzonego przez Luonga w 1992 roku. W celu wyznaczania tej macierzy określającej związek między prawym i lewym obrazem cyfrowym, potrzeba co najmniej osiem punktów homologicznych. Do wyznaczenia rozwiązania stosuje się tzw. rozkład SVD. Korzystając z macierzy fundamentalnej wyznacza się linie epipolarne, które łączy się w obrazy. Odpowiednie podstawy matematyczne oraz ilustracje zamieszczono w publikacji. Opracowane algorytmy oraz oprogramowanie pozwala przez Internet generować trójwymiarowe obrazy anaglifowe przy wykorzystaniu obrazów pozyskanych z niemetrycznych aparatów cyfrowych. Aplikacja internetowa zrealizowana jest w architekturze klient-serwer, gdzie klientem jest przeglądarka internetowa. Macierz fundamentalną oblicza się na serwerze. Wszystkie funkcje oprogramowane są w języku Java i rozdzielone między klientem i serwerem. Jest to przykład aplikacji rozproszonej pozwalającej interaktywnie tworzyć anaglifowe obrazy przestrzenne. Ma duże walory poznawcze i edukacyjne. Aplikacja jest dostępna na stronie internetowej autora http://www.kfit.uwm.edu.pl/zp/.
Inferring three-dimensional information from images taken from different viewpoints is a central problem in terrestrial photogrammetry and computer vision. In classic photogrammetry (which is based on photogrammetric images), generating 3D images is a well-known process. A breakthrough in the process was made in 1976, when Kreiling developed a method of generating epipolar images. However, it is possible to project stereogram images onto the common plane if the camera constants and the elements of relative orientation are known. As digital cameras have become ubiquitous, it is now possible to obtain non-metric, digital terrestrial images; however, obtaining spatial images from such photographs has become a problem. Recent work has shown that it is possible to recover the projective structure of a scene from point correspondences only, without the need for camera calibration. The solution came with the introduction of the fundamental matrix in 1992 in a PhD thesis by Luong and in Faugeras and Hartley (1992). After applying additional conditions and parameters to an image, a spatial image can be generated. Therefore, the next task is to develop software to generate spatial images. It appears that it is possible to generate spatial images with the use of the idea of anaglyphic images interactively on the Internet and taking measurement on them. The proposed solution works as an Internet application in JAVA and employs client-server technology, which in practical terms means communication between applets and the servlet. This paper presents the theoretical foundations of the spatial image construction from nonmetric digital images. It is also aimed at showing the web-based photogrammetric applications located on the Department of Photogrammetry and Remote Sensing server (http://www.kfit.uwm.edu.pl/zp/wzasik.html). The epipolar geometry is the intrinsic projective geometry between two views. It is independent of scene structure and dependent on the camera’s internal parameters and relative orientations of images. This intrinsic geometry is encapsulated in the fundamental matrix F. The dimension of matrix F is 3x3. A total of 9 coefficients minus one scaling coefficient remain to be determined. To determine them, at least 8 homologous points are needed. Determination of this matrix is the first stage in the process of creating spatial images. To find the solution of elements of the fundamental matrix, the authors apply singular value decomposition (SVD). When the matrix F is known it is possible to determine the epipole lines and to build the spatial image. In the next part of the paper, the authors describe such Internet application. In constructing a Web application, it can be assumed that photos will be stored on different computers – data servers. The software necessary to read data from these servers will be installed on another computer called an application server. In addition, users will be communicating with the application server by means of their Web browser. During the process of construction of an anaglyph, the coordinates of at least 8 homologous points should be measured and collected in the table. By correct arrangement and careful measurements, homologous point parameters of the fundamental matrix should be fixed. At the next step, an anaglyph is created over the Internet.
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2008, 18b; 465-474
2083-2214
2391-9477
Pojawia się w:
Archiwum Fotogrametrii, Kartografii i Teledetekcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Generowanie ortofotomapy w aplikacji internetowej
Orthophoto generation in the web application
Autorzy:
Paszotta, Z.
Powiązania:
https://bibliotekanauki.pl/articles/130648.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Geodetów Polskich
Tematy:
ortofotomapa
Internet
Java
aplikacja internetowa
numeryczny model terenu
orthophoto
web application
DTM
Opis:
Tworzenie ortofotmapy ze zdjęć lotniczych jest procesem złożonym wymagającym specjalistycznego oprogramowania na cyfrowej stacji fotogrametrycznej. Okazuje się jednak, może on być zrealizowany przez Internet. Nawet, jeżeli ma to być sposób obarczony pewnymi ograniczeniami, to walory dydaktyczne i użytkowe takiego rozwiązania są duże. Skłoniły one autora do podjęcia się opracowania odpowiedniej metody realizacji. W artykule przedstawiono rozwiązanie tego zagadnienia. Ze względu na dostępność rozwiązania zdecydowano się na architekturę klient-serwer, gdzie klientem jest przeglądarka internetowa użytkownika. Tego typu aplikacje nazywa się aplikacjami webowymi. W publikacji opisano podstawy matematyczne budowy ortoobrazu jako funkcji. Algorytm generowania ortoobrazu przedstawiono przy pomocy diagramów. Współrzędne punktów do numerycznego modelu terenu wyznaczane są w sposób automatyczny. Ponieważ obszar ortoobrazu jest niewielki, limitowany wymiarami okna w przeglądarce użytkownika, przyjmuje się uproszczony model terenu w postaci płaszczyzny. Ortorektyfikacja wykonywana jest na serwerze a siatka nakładana w aplecie klienta. Z uwagi na interpolację, obraz taki ma gorszą jakość od obrazu źródłowego, dlatego przedstawiono również zdjęcia źródłowe z siatką układu współrzędnych. W obu przypadkach obliczane są i wyświetlane współrzędne terenowe punktów wskazywanych przez kursor. Oprogramowanie, na które składają się aplety i servlety zostały napisane w języku Java. Aplikacja jest dostępna na stronie internetowej autora http://www.kfit.uwm.edu.pl/zp/.
The process of creating orthophotomaps from aerial photographs is complex and requires specialist software on a digital photogrammetric station. However, it turns out that this process can, with certain limitations, be executed on the Internet. Even if simplified solution is involved, its didactic and functional advantages are great. These advantages induced the author to work out the appropriate method of working out such a problem. The paper describes generation of an orthophotomap via the Internet. On account of the availability of the solution presented, the author decided to use the client-server architecture of the application in which the user's Internet browser is a client (a program accesses a remote service on another computer through a network). Applications of this type are being called web applications. The mathematical foundations of constructing orthoimage as a function are described. The algorithm of orthoimage generation is presented with the aid of UML diagram. The terrain coordinates of points which are being used to create a digital terrain model (DTM) are measured and calculated automatically. However, the orthophotomap area is small and limited by dimensions of the Internet browser window. Thus, in the process of orthoimage creation via the Internet, the author has assumed a simplified DTM in the form of a plane. Orthorectification is performed on the server side, but the grid coordinate system is superimposed on the orthophotomap by means of applet on the client side. Besause of resampling, the quality of the orthoimage created is worse than that of a source image. Therefore, the source photograph with the system of coordinates is also presented. In both cases the image and terrain coordinates of a point shown by the cursor are calculated and printed in the header of the Internet browser window. The Internet software presented, consisting of applets and servlets, was written in the JAVA programming language. The application described works on the Department of Photogrammetry and Remote Sensing server (http://www.kfit.uwm.edu.pl/zp/ ).
Źródło:
Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2008, 18b; 457-464
2083-2214
2391-9477
Pojawia się w:
Archiwum Fotogrametrii, Kartografii i Teledetekcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Efektywność mechanizmów wywoływania procedur zdalnych
Efficiency of remote procedure call mechanisms
Autorzy:
Grzelak, M.
Suski, Z.
Powiązania:
https://bibliotekanauki.pl/articles/273230.pdf
Data publikacji:
2009
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
wywoływanie zdalnych procedur
efektywność
Sun RPC
Java RMI
CORBA
DCOM
SOAP
NET Remoting
remote procedure call
efficiency
Opis:
W pracy przedstawiono wyniki przeprowadzonej analizy porównawczej technologii wywoływania procedur i metod zdalnych. Analizie zostały poddane najpopularniejsze dostępne rozwiązania: Sun RPC, OMG CORBA, Microsoft DCOM, Java RMI, protokół SOAP oraz .NET Remoting. Przedstawiono najważniejsze cechy wymienionych mechanizmów. Opracowano metodę ich badań umożliwiającą porównanie efektywności w różnych środowiskach sieciowych i systemowych oraz w różnych językach programowania zgodnie z możliwościami poszczególnych rozwiązań. Każda technologia została zaimplementowana w przygotowanych programach testujących, które wykonywały ten sam schemat działania przy podobnych warunkach zewnętrznych.
The paper presents results of comparative analysis of remote procedures and methods call. The mechanisms such as Sun RPC, Java RMI, Corba, DCOM, SOAP, .NET Remoting were analyzed. The basic properties of listed technologies were described. The methodology of researches of that technologies was designed. Each technology was implemented in testing programs.
Źródło:
Biuletyn Instytutu Automatyki i Robotyki; 2009, R. 15, nr 27, 27; 51-84
1427-3578
Pojawia się w:
Biuletyn Instytutu Automatyki i Robotyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model checking of java programs using networks of fadds
Autorzy:
Woźna, B.
Zbrzezny, A.
Powiązania:
https://bibliotekanauki.pl/articles/121764.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:
język programowania Java
programowanie komputerowe
Pathfinder
języki programowania
Java programming language
computer programming
PathFinder code
programming languages
Opis:
In the paper we present the current theoretical base of the J2FADD tool, which translates a Java program to a network of finite automata with discrite data (FADDs).The reason for building the tool is that to model check a concurrent program writ-ten in Java by means of the tools like Uppaal or VerICS (the module VerICS ), an automata model of the Java program must be build first. This is because these tools verify only systems modeled as networks of automata, in particular, systems modeled as networks of FADDs. We also make an attempt to evaluate the J2FADD tool by comparison of it with the two well known Java verification tools: Bandera and Java PathFinder.
Źródło:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 151-164
2450-9302
Pojawia się w:
Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using FPGA and Java in rapid prototyping of a real-time H.264/AVC decoder
Użycie FPGA i Java do szybkiego prototypowania dekodera H.264/AVC działającego w czasie rzeczywistym
Autorzy:
Parfieniuk, M.
Petrovsky, A.
Stankevich, A.
Kachinsky, M.
Powiązania:
https://bibliotekanauki.pl/articles/389858.pdf
Data publikacji:
2009
Wydawca:
Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:
dekoder H.264
plasma RISC
Xilinx FPGA
Java
H.264 decoder
Opis:
This paper reports on an attempt to implement a real-time hardware H.264 video decoder. The initial results of the project are presented: a customized RISC core and some digital modules, both of which have been implemented in Xilinx FPGA. The former has to serve as a host processor that supervises the latter, which speed up the essential decoding subtasks. The system is designed and tested using a software decoder and diagnostic tools, which are implemented in Java using the object-oriented paradigm. Our experiences allow us to recommend the combination of FPGA and Java technologies as a good basis for rapid prototyping of advanced DSP algorithms.
W pracy przedstawiono raport z próby implementacji działającego w czasie rzeczywistym sprzętowego dekodera wideo standardu H.264. Zaprezentowano wstępne wyniki projektu: jądro RISC i wybrane moduły cyfrowe zaimplementowane z użyciem Xilinx FPGA. Jądro ma służyć jako nadrzędny procesor sterujący pozostałymi obwodami dekodera, które przyśpieszają podstawowe etapy dekodowania. System jest projektowany i testowany w oparciu o dekoder programowy i narzędzia diagnostyczne, które są implementowane obiektowo w Javie. Uzyskane rezultaty pozwalają autorom rekomendować połączenie FPGA i Java jako dobrą podstawę do szybkiego prototypowania zaawansowanych algorytmów DSP.
Źródło:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2009, 12; 43-55
1899-0088
Pojawia się w:
Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy
Dostawca treści:
Biblioteka Nauki
Artykuł

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