search result

Cover von Instructor Selector Generation from Architecture Description

Instructor Selector Generation from Architecture Description

Year: 2011
Media group: ARTICLE
Cover von Fast Translated Simulation of ASIPs

Fast Translated Simulation of ASIPs

Year: 2011
Media group: ARTICLE
Cover von Automatic C Compiler Generation from Architecture Description Language ISAC

Automatic C Compiler Generation from Architecture Description Language ISAC

Year: 2011
Media group: ARTICLE
Cover von Haptic Rendering Based on RBF Approximation from Dynamically Updated Data

Haptic Rendering Based on RBF Approximation from Dynamically Updated Data

Year: 2011
Media group: ARTICLE
Cover von Computer algebra and mechanized reasoning; 1/2
special issue : selected St. Andrews ISSAC / Calculemus 2000 contributions S. 1-169
Search for this author
Year: 2001
Publisher: San Diego, Academic Press
Count: 1/2
Media group: SPECIAL ISSUE
Cover von A Categorical Perspective on Constraint Satisfaction

A Categorical Perspective on Constraint Satisfaction

The Wonderland of Adjunctions
Year: 2026
Media group: LIPIcs
Cover von Optimal Path Partitions in Subcubic and Almost-Subcubic Graphs

Optimal Path Partitions in Subcubic and Almost-Subcubic Graphs

Year: 2026
Media group: LIPIcs
Cover von Interactive Evaluation of Complex Programming Assignments Using LLM Assistant

Interactive Evaluation of Complex Programming Assignments Using LLM Assistant

Year: 2025
Media group: OASICS
Cover von Two-Stage Weekly Shift Scheduling for Train Dispatchers

Two-Stage Weekly Shift Scheduling for Train Dispatchers

Year: 2024
Media group: OASICS
Cover von Romeo and Juliet Is EXPTIME-Complete

Romeo and Juliet Is EXPTIME-Complete

Year: 2024
Media group: LIPIcs
OPEN V 11.1.0.0