search result

Cover von Hijacking the Linux Kernel

Hijacking the Linux Kernel

Year: 2011
Media group: ARTICLE
Cover von Semi-Online Preemptive Scheduling: One Algorithm for All Variants

Semi-Online Preemptive Scheduling: One Algorithm for All Variants

Year: 2009
Media group: ARTICLE
Cover von On the Robustness of Bucket Brigade Quantum RAM

On the Robustness of Bucket Brigade Quantum RAM

Year: 2015
Media group: LIPIcs
Cover von Generalized Budan–Fourier theorem and virtual roots

Generalized Budan–Fourier theorem and virtual roots

article
Year: 2005
Media group: ARTICLE
Cover von Better Extension Variables in DQBF via Independence

Better Extension Variables in DQBF via Independence

Year: 2025
Media group: LIPIcs
Cover von Microservice-Aware Static Analysis

Microservice-Aware Static Analysis

Opportunities, Gaps, and Advancements
Year: 2023
Media group: OASICS
Cover von Recent advances in parallel virtual machine and message passing interface
6th European PVM / MPI users' group meeting : Barcelona, Spain, September 26 - 29, 1999 : proceedings
Search for this author
Year: 1999
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1697
Media group: MONOGRAPHIE
Cover von Part II.; Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings, Part II
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part II.
Series: Lecture notes in computer science; 11428
Media group: MONOGRAPHIE
Cover von Part I.; Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6 - 11, 2019, Proceedings, Part I
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Volume: Part I.
Series: Lecture notes in computer science : ARCoSS; 11427
Media group: MONOGRAPHIE
Cover von Mathematical and Engineering Methods in Computer Science
10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23 - 25, 2015, Revised Selected Papers
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9548
Media group: MONOGRAPHIE
OPEN V 11.1.0.0