2,839 research outputs found
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions
Full text linkThe most efficient way to calculate strong bisimilarity is by finding the relational coarsest partition of a transition system. We provide the first linear-time algorithm to calculate strong bisimulation using parallel random access machines (PRAMs). More precisely, with n states, m transitions and | Act| ≤ m action labels, we provide an algorithm for max (n, m) processors that calculates strong bisimulation in time O(n+ | Act| ) and space O(n+ m). The best-known PRAM algorithm has time complexity O(nlog n) on a smaller number of processors making it less suitable for massive parallel devices such as GPUs. An implementation on a GPU shows that the linear time-bound is achievable on contemporary hardware.</p
Die Vorbothen des neüen Heidenthums : und die Anstalten, die dazu vorgekehret worden sind
No full textvon dem Author der Beredtsamkeit der Väter [=Joseph Anton Weissenbach] ...Vignette auf Titelseit
Formal Aspects of Component Software: Proceedings of the 17th International Conference on Formal Aspects of Component Software (FACS 2021)
Full text linkInternational audienceComponent-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2021 was concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. We received 16 submissions for the conference, and all of them were reviewed by three reviewers. Based on their reports and subsequent discussions, the Program Committee (PC) decided to accept 8 papers (7 regular papers and 1 tool paper) for inclusion in this volume and programme of FACS 2021. In addition, we invited Radu Calinescu and Corina Pasareanu to give keynotes. This volume contains an abstract of the talk given by Radu Calinescu and an invited paper by Corina Pasareanu. We thank Radu Calinescu and Corina Pasareanu for accepting our invitations to give an invited talk, as well as all authors who submitted their work for FACS 2021. We thank the members of the PC for their effort to write timely and highquality reviews, and their discussions to make the final selection of papers. We also thank the FACS Steering Committee for useful suggestions and support. Finally, we thank the other members of the FACS 2021 organizing committee, Radu Mateescu, Ajay Muroor Nadumane, and Ahang Zuo, for their contribution to organizing the conference
The right to silence in the presence of Anton Piller: A question of self incrimination
No full textThe author discusses the advent of Anton Piller orders and contrasts its benefits against the right against self incrimination
Secularism and the death and return of the author: Rereading the Rushdie affair after Joseph Anton
No full textIn what ways has the contemporary British novel served to contribute to the ethos of secular liberalism that underpins the ideology of the colonial present before and after the “War on Terror”? This article seeks to address this question through a rereading of Salman Rushdie’s The Satanic Verses and its critical reception. Beginning with a discussion of the secularism/theology binary in Roland Barthes’ essay “The Death of the Author”, the paper considers how the ideology of secularism that Barthes attributes to the birth of the reader has shaped and influenced the public understanding of the Rushdie affair before and after 9/11. With close reference to Rushdie’s memoir, Joseph Anton, the essay proceeds to address how Rushdie’s own account of the production and reception of The Satanic Verses in Joseph Anton might be regarded as a particular form of secular misreading that calls the authority of the book’s implied author into question. By addressing questions such as these, this article suggests that Rushdie’s literary reworking of Islamic history in The Satanic Verses and his defence of this reworking in Joseph Anton demand a rethinking of the relationship between the ideology of secularism and postmodern theories of reading. Such a rethinking, I suggest, also demands a consideration of the ways in which the contemporary figure of the emancipated reader is implicated in the secularist ideology of the colonial present.</p
Erdbeschreibung der Königreihe Dänemark, Norwegen und Schweden, des Herzogtbums Finnland, Liesland und der Provinz Ingermannland. Ein Auszug, zum Gebrauch bey dem gegenwärtigen Kriege zwischen Russland und Sweden
Full text linkAuthor: Anton Friedrich Büsching.Digital reproduction, The National Library of Finland, Centre for Preservation and Digitisation, MikkeliErdbeschreibung (in ten parts, 1754-1792) is the main work of Anton Friedrich Büsching who was a German theologian and geographer.TravelEuropeanaBüsching, Anton Friedrich (1724-1793
The mass-metallicity relation for galaxies in the galaxy cluster Abell 85
No full textauthor: Anton ScheepstraMasterarbeit University of Innsbruck 202
Anton Wildgans: Speech about Austria
No full textTitle: Rede über Österreich (Speech about Austria) Originally published: Rede über Österreich (Vienna: F. G. Speidel, 1930) Language: German The excerpts used are from Anton Wildgans, Zu Zeit und Welt (Vienna: Bellaria Verlag, 1958), pp. 412, 416, 421–22. About the author Anton Wildgans [1881, Vienna–1932, Mödling, Lower Austria]: lawyer, poet, playwright, cultural functionary, and journalist. He practiced as an examining magistrate from 1909 to 1911, before turning to writing full-time, inco..
- …
