External Timed I/O Semantics Preserving Utilization Optimization for LET-Based Effect Chain.

Bo Zhang Caixu Zhao Xi Li

Published in: IEEE Embed. Syst. Lett. (2023)

Keyphrases

optimization algorithm
petri net
input output
global optimization
optimization process
optimization problems
databases
file system
optimization model
formal semantics
database
data sets
semantic information
optimization method
timed automata