search result

Cover von A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework

A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework

Year: 2025
Media group: LIPIcs
Cover von Specification and semantics
08.07. - 12.07.96 (9628)
Search for this author
Year: 1996
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 151
Media group: DAGSTUHL-SEMINAR-REP
Cover von Specification and semantics
24.05. - 28.05.93 (9321)
Search for this author
Year: 1993
Publisher: Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 64
Media group: DAGSTUHL-SEMINAR-REP
Cover von ANNA
a language for annotating Ada programs : reference manual
Search for this author
Year: 1987
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 260
Media group: MONOGRAPHIE
Cover von Pydrofoil

Pydrofoil

Accelerating Sail-Based Instruction Set Simulators
Year: 2025
Media group: LIPIcs
Cover von An Improved Bound on Sums of Square Roots via the Subspace Theorem

An Improved Bound on Sums of Square Roots via the Subspace Theorem

Year: 2024
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 271, SAT 2023, Complete Volume

LIPIcs, Volume 271, SAT 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 26th International Conference on Theory and Applications of Satisfiability Testing
SAT 2023 : July 4 - 8, 2023, Alghero, Italy
Search for this author
Year: 2023
Series: Leibniz International Proceedings in Informatics; 271
Media group: LIPIcs
Cover von WI 99 Doktorandenseminar
01. - 03. März 1999, Internationales Begegnungs- und Forschungszentrum für Informatik, IBFI, Schloß Dagstuhl, Octaviealle, 66687 Wadern
Search for this author
Year: 1999
Publisher: Dagstuhl
Media group: TECHNICAL REPORT
OPEN V 11.1.0.0