Abstract: Generalized semi-infinite programs (generalized SIPs) are problems featuring a finite number of decision variables but an infinite number of constraints. They differ from standard SIPs in ...
Abstract: Synchronous programs are used to implement safety critical embedded software. Efficiently compiling imperative synchronous programs into small and fast executables is challenging, due to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results