research
∙
12/03/2019
Classifying Pattern and Feature Properties to Get a Θ(n) Checker and Reformulation for Sliding Time-Series Constraints
Given, a sequence X of n variables, a time-series constraint ctr using t...
share
research
∙
02/12/2019
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Testing cyber-physical systems involves the execution of test cases on t...
research
∙
04/06/2018
Combinatorial Register Allocation and Instruction Scheduling
This paper introduces a combinatorial optimization approach to register ...
research
∙
09/26/2016