Did you mean: systems

search result

Cover von Special issue on high-performance, low-power system LSIs and related technologies; 4
S. 519-685
Search for this author
Year: 2003
Publisher: Tokyo, IEICE
Count: 4
Media group: SPECIAL ISSUE
Cover von Parallele Implementierung einer funktionalen Programmiersprache auf einem OCCAM-Transputer-System unter besonderer Berücksichtigung applikativer Datenstrukturen
Author: Kuchen, Herbert Search for this author
Year: 1989
Publisher: Aachen, RWTH
Media group: DISSERTATION
Cover von A Linear Bound for the Size of the Finite Terminal Assembly of a Directed Non-Cooperative Tile Assembly System

A Linear Bound for the Size of the Finite Terminal Assembly of a Directed Non-Cooperative Tile Assembly System

Year: 2026
Media group: LIPIcs
Cover von A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)

A Multi-Modal Distributed Real-Time IoT System for Urban Traffic Control (Invited Paper)

Year: 2024
Media group: OASICS
Cover von Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions

Two axiomatic characterizations for the system of spheres-based (and the Epistemic Entrenchment-based) multiple contractions

article
Year: 2016
Media group: ARTICLE
Cover von Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems

Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems

Year: 2018
Media group: LIPIcs
Cover von The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type

The Confluent Terminating Context-Free Substitutive Rewriting System for the lambda-Calculus with Surjective Pairing and Terminal Type

Year: 2017
Media group: LIPIcs
Cover von ISSS
proceedings
Search for this author
Year: 1995 - 2002
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von MSP

MSP

proceedings
Search for this author
Year: 2002 and following
Publisher: New York, ACM
Media group: KONGRESSBERICHT
Cover von RSP

RSP

proceedings
Search for this author
Year: 1995 and following
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
OPEN V 11.1.0.0