Temat: concurrency - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: SXCCP+: Simple XML Concurrency Control Protocol for XML Database Systems
Autorzy:: Jankiewicz, K.
Tematy:: concurrency control
XML
databases
protocols; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Powiązania:: https://bibliotekanauki.pl/articles/970819.pdf Link otwiera się w nowym oknie
Opis:: Increasing significance and popularity of XML is the main reason why many commercial object-relational database management systems (ORDBMSs) developed XML storage and processing functionality. Additionally, there are new types of specialized database systems known as 'native' XML database systems. As we know, concurrency control is one of the most important mechanisms in DBMSs. Unfortunately, concurrency control mechanisms, which have been used so far in commercially available native XML DBMSs, offer very low degree of concurrency. The development of universal and effective concurrency control protocol for accessing XML data, with high degree of concurrency, is a necessary condition of the native XML database growth. The aim of this paper is to propose a new concurrency control protocol in XML document access. This protocol is based on primitive operations, which can be treated as a unification platform for any of the XML access methods.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Type-driven development of concurrent communicating systems
Autorzy:: Brady, E.
Tematy:: dependent types
domain specific languages
verification
concurrency; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/305793.pdf Link otwiera się w nowym oknie
Opis:: Modern software systems rely on communication, for example mobile applcations communicating with a central server, distributed systems coordinaing a telecommunications network, or concurrent systems handling events and processes in a desktop application. However, reasoning about concurrent prgrams is hard, since we must reason about each process and the order in which communication might happen between processes. In this paper, I describe a type-driven approach to implementing communicating concurrent programs, using the dependently typed programming language Idris. I show how the type system can be used to describe resource access protocols (such as controlling access to a file handle) and verify that programs correctly follow those prtools. Finally, I show how to use the type system to reason about the order of communication between concurrent processes, ensuring that each end of a communication channel follows a defined protocol.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

Tytuł:: Adding parallelism to sequential programs : a combined method
Autorzy:: Daszczuk, Wiktor B.
Czejdo, Danny B.
Grześkowiak, Wojciech
Tematy:: programming languages
algorithms
concurrency
parallelism
parallel programming; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Powiązania:: https://bibliotekanauki.pl/articles/58973039.pdf Link otwiera się w nowym oknie
Opis:: The article outlines a contemporary method for creating software for multi-processor computers. It describes the identification of parallelizable sequential code structures. Three structures were found and then carefully examined. The algorithms used to determine whether or not certain parts of code may be parallelized result from static analysis. The techniques demonstrate how, if possible, existing sequential structures might be transformed into parallel-running programs. A dynamic evaluation is also a part of our process, and it can be used to assess the efficiency of the parallel programs that are developed. As a tool for sequential programs, the algorithms have been implemented in C#. All proposed methods were discussed using a common benchmark.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Transaction mechanisms in complex business processes
Autorzy:: Jankiewicz, K.
Kujawiński, K.
Mor, M.
Morzy, T.
Tematy:: SOA
transactions
business processes
concurrency control
automacity
compensation; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Powiązania:: https://bibliotekanauki.pl/articles/206063.pdf Link otwiera się w nowym oknie
Opis:: The importance of systems based on the SOA architecture continues to grow. At the same time, in spite of the existence of many specifications which allow for the coordination of business processes functioning in the SOA environment, there is still lack of solutions that allow the use of system mechanisms of transaction processing. Such solutions should entail the simplification of construction of business processes without affecting their capabilities. This article presents a Transaction Coordinator environment, designed and implemented as a response to these needs.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Wielomianowy algorytm wyznaczania hipergrafu współbieżności w sieciach Petriego swobodnego wyboru
A polynomial algorithm to compute the concurrency hypergraph in Petri nets
Autorzy:: Wiśniewski, R.
Wiśniewska, M.
Adamski, M.
Tematy:: sieć Petriego
hipergraf współbieżności
dekompozycja
Petri net
concurrency hypergraph
decomposition; Pokaż więcej
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Powiązania:: https://bibliotekanauki.pl/articles/156447.pdf Link otwiera się w nowym oknie
Opis:: W referacie zaproponowano metodę umożliwiającą określenie strukturalnej relacji współbieżności w sieciach Petriego swobodnego wyboru (Free Choice). Algorytm znajduje miejsca wzajemnie współbieżne na podstawie struktury sieci oraz miejsc oznaczonych markerem startowym. W odróżnieniu od istniejących algorytmów, proponowana metoda znajduje wszystkie miejsca wzajemnie współbieżne, wyznaczając hipergraf współbieżności. Przeprowadzone badania eksperymentalne potwierdzają bardzo wysoką skuteczność proponowanej metody.
In the paper a new algorithm of concurrency hypergraph computation is presented. The main aim of the proposed method is computation of a concurrency hypergraph in the polynomial time. The algorithm input is specified by the Petri net that belongs to the Free Choice subclass. Based on the net structure, the method outputs the concurrency relations between all places in the net. Particular relations are stored by the concurrency hypergraph instead of the concurrency graph, which is currently practiced. The hypergraph permits to store information about relations between all places in the net. In case of the concurrency graph it is limited to relations between pairs of places. Therefore, application of the concurrency hypergraph seems to be more intuitive and natural. The algorithm bases on the traditional solutions, however particular concurrency relation may contain more than two places which is not possible in currently known methods. The proposed solution is especially valuable in combination with the method presented in [1, 2] and permits to find the subsequent SM-Components in the polynomial time. The algorithm was experimentally verified. The method was compared with the traditional solution, where all maximal cliques in the concurrency graph were computed. The obtained results proved very high effectiveness of the proposed algorithm, which was always better than methods based on the graph theory. We have also noticed that the effectiveness increases drastically with the number of places and transitions in the Petri net.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Visualisation of concurrent processes
Autorzy:: Mikulski, Ł
Piątkowski, M.
Tematy:: concurrency
partial order
Hasse diagram
directed acyclic graph
linearisation
Mazurkiewicz traces; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Powiązania:: https://bibliotekanauki.pl/articles/205775.pdf Link otwiera się w nowym oknie
Opis:: Mazurkiewicz traces are a widely used model for describing the languages of concurrent systems computations. The causal structure of atomic actions occurring in a process modeled as a trace generates a partial order. Hasse diagrams of such order are very common structures used for presentation and investigation in the concurrency theory, especially from the behavioural perspective. We present effective algorithms for Hasse diagrams construction and transformation. Later on, we use them for enumeration of all linearisations of the partial order that represents a concurrent process. Additionally, we attach the flexible visual implementation of all considered Algorithms.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Using erlang in research and education in a technical university
Autorzy:: Petrov, I.
Alexeyenko, A.
Ivanova, G.
Tematy:: parallel programming
distributed programming
teaching
graph theory
concurrency
recursion
survey
functional programming; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/305254.pdf Link otwiera się w nowym oknie
Opis:: This paper addresses the problem of using functional programming (FP) languages for research and educational purposes. In order to identify the problems associated with the use of FP languages such as Erlang, an experiment consisting of two surveys was performed. The first survey was anonymous and aimed at establishing whether the participants prefer object-oriented or functional coding. The second one was a survey made after the students finished an Erlang course. The results of these two surveys demonstrate that functional programming is underrated with no apparent reasons. Possible steps to address this problem are suggested.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: Measurement aspects of genome pattern investigations - hardware implementation
Autorzy:: Pułka, A.
Milik, A.
Tematy:: DNA-tiles
pattern recognition
pipelining
parallelism and concurrency
dynamic programming
systolic arrays
computational methods; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Powiązania:: https://bibliotekanauki.pl/articles/221637.pdf Link otwiera się w nowym oknie
Opis:: The work presented in the paper concerns a very important problem of searching for string alignments. The authors show that the problem of a genome pattern alignment could be interpreted and defined as a measuring task, where the distance between two (or more) patterns is investigated. The problem originates from modern computation biology. Hardware-based implementations have been driving out software solutions in the field recently. The complex programmable devices have become very commonly applied. The paper introduces a new, optimized approach based on the Smith-Waterman dynamic programming algorithm. The original algorithm is modified in order to simplify data-path processing and take advantage of the properties offered by FPGA devices. The results obtained with the proposed methodology allow to reduce the size of the functional block and radically speed up the processing time. This approach is very competitive compared with other related works.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: Selected issues of Standard Essential Patents and FRAND licenses
Wybrane zagadnienia problematyki Standard Essential Patents i licencji FRAND
Autorzy:: Borowiec, Jakub
Opis:: The Standard Essential Patents (SEP) belong to a group of commonly used technical solutions e.g. in the ICT sector. Their special feature is the fact that they are irreplaceable - it is impossible to implement technology without using a SEP solution. As a consequence, disputes arise between the potential licensor and the potential licensee regarding the licensing agreement and the royalties due.
Patenty niezbędne do spełnienia normy (SEP) należą do grupy powszechnie wykorzystywanych rozwiązań technicznych np. w sektorze ICT. Ich szczególną cechą jest fakt, że są niezastąpione - nie da się wdrożyć technologii w życie, nie wykorzystując rozwiązania będącego SEP. W związku z tym pojawiają się spory między potencjalnym licencjodawcą a potencjalnym licencjobiorcą w zakresie umowy licencyjnej oraz należnych opłat licencyjnych.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Write-and-f-array: implementation and application
Write-and-f-array: implementacja i zastosowanie
Autorzy:: Obryk, Robert
Opis:: We introduce a new shared memory object: the write-and-f-array, provide its wait-free implementation and use it to construct an improved wait-free implementation of the fetch-and-add object. The write-and-f-array generalizes single-writer write-and-snapshot object in a similar way that the f-array generalizes the multi-writer snapshot object. More specifically, a write-and-f-array is parameterized by an associative operator $f$ and is conceptually an array with two atomic operations:\begin{itemize}\item write-and-f modifies a single array's element and returns the result of applying $f$ to all the elements,\item read returns the result of applying $f$ to all the array's elements.\end{itemize}We provide a wait-free implementation of an $N$-element write-and-f-array with $O(N \log N)$ memory complexity, $O(\log^3 N)$ step complexity of the write-and-f operation and $O(1)$ step complexity of the read operation. The implementation uses CAS objects and requires their size to be $\Omega(\log M)$, where $M$ is the total number of write-and-f operations executed. We also show, how it can be modified to achieve $O(\log^2 N)$ step complexity of write-and-f, while increasing the memory complexity to $O(N \log^2 N)$.The write-and-f-array can be applied to create a fetch-and-add object for $P$ processes with $O(P \log P)$ memory complexity and $O(\log^3 P)$ step complexity of the fetch-and-add operation. This is the first implementation of fetch-and-add with polylogarithmic step complexity and subquadratic memory complexity that can be implemented without CAS or LL/SC objects of unrealistic size.
Wprowadzamy nowy obiekt współbieżny: write-and-f-array, podajemy jego implementację wait-free i używamy jej aby skonstruować ulepszoną implementację wait-free obiektu fetch-and-add. Write-and-f-array uogólnia write-and-snapshot dla jednego pisarza w podobny sposób co f-array uogólnia snapshot. Dokładniej, write-and-f-array jest sparametryzowana przez łączny operator $f$ i koncepcyjnie jest tablicą z dwoma operacjami atomowymi:\\begin{itemize}\\item write-and-f, która modyfikuje jeden element tablicy i zwraca wynik aplikacji $f$ do wszystkich jej elementów,\\item read, która zwraca wynik aplikacji $f$ do wszystkich elementów tablicy.\\end{itemize}Podajemy implementację wait-free $N$-elementowej write-and-f-array ze złożonością pamięciową $O(N \\log N)$, złożonością krokową write-and-f $O(\\log^3 N)$ i stałą złożonością operacji read. Implementacja taużywa obiektów CAS o rozmiarze $\\Omega(\\log M)$, gdzie $M$ jest całkowitą liczbą wykonanych operacji write-and-f. Pokazujemy też modyfikację tej implementacji, która zmniejsza złożoność krokową write-and-f do $O(\\log^2 N)$, jednocześnie zwiększając złożoność pamięciową do $O(N \\log^2 N)$.Write-and-f-array znajduje zastosowanie w konstrukcji obiektu fetch-and-add dla $P$ procesorów ze złożonością pamięciową $O(P \\log P)$ i złożonością krokową operacji $O(\\log^3 P)$. Jest to pierwsza implementacja fetch-and-add z polilogarytmiczną złożonością krokową operacji i podkwadratową złożonością pamięciową, która nie wymaga obiektów CAS lub LL/SC o nierealistycznie dużym rozmiarze.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Informacja

Wyszukujesz frazę "concurrency" wg kryterium: Temat