search result

Cover von Software requirements
analysis and specification
Author: Davis, Alan M. Search for this author
Year: 1990
Publisher: Englewood Cliffs, Prentice Hall
Media group: MONOGRAPHIE
Cover von Fundamentals of robotics
analysis and control
Author: Schilling, Robert J. Search for this author
Year: 1990
Publisher: Englewood Cliffs, Prentice Hall
Media group: MONOGRAPHIE
Cover von Dynamic Power Consumption of the Full Posit Processing Unit

Dynamic Power Consumption of the Full Posit Processing Unit

Analysis and Experiments
Author: Rossi, Federico; Saponara, Sergio; Soudris, Dimitrios
Year: 2023
Media group: OASICS
Cover von Unikernel-Based Real-Time Virtualization Under Deferrable Servers

Unikernel-Based Real-Time Virtualization Under Deferrable Servers

Analysis and Realization
Year: 2022
Media group: LIPIcs
Cover von Impact of DM-LRU on WCET

Impact of DM-LRU on WCET

A Static Analysis Approach
Year: 2019
Media group: LIPIcs
Cover von Dichotomic Selection on Words

Dichotomic Selection on Words

A Probabilistic Analysis
Year: 2019
Media group: LIPIcs
Cover von Predicting Math Success in an Online Tutoring System Using Language Data and Click-Stream Variables

Predicting Math Success in an Online Tutoring System Using Language Data and Click-Stream Variables

A Longitudinal Analysis
Year: 2019
Media group: OASICS
Cover von Smooth coalgebra

Smooth coalgebra

testing vector analysis
Year: 2017
Coalgebraic Logic
Media group: ARTICLE
Cover von Time-Predictable Embedded Software on Multi-Core Platforms
Analysis and Optimization
Search for this author
Year: 2014
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Electronic Design Automation; 8. 2014, 3/4
Media group: MONOGRAPHIE
Cover von Cuckoo Filter

Cuckoo Filter

Simplification and Analysis
Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0