In: International journal on software tools for technology transfer, 2021, p. 15
The use of propositional logic and systems of linear inequalities over reals is a common means to model software for formal verification. Craig interpolants constitute a central building block in this setting for over-approximating reachable states, e.g. as candidates for inductive loop invariants. Interpolants for a linear system can be efficiently computed from a Simplex refutation by ...
|
In: International Journal on Software Tools for Technology Transfer, 2021, vol. 23, p. 883–893
|
In: Bioinformatics, 2018, vol. 34, no. 4, p. 691-692
|
In: Bioinformatics, 2017, vol. 33, no. 14, p. i75-i82
|
In: Bioinformatics, 2017, vol. 33, no. 21, p. 3454-3460
|
In: International Journal on Software Tools for Technology Transfer, 2015, vol. 17, no. 6, p. 745-755
|
In: Bioinformatics, 2017, vol. 33, no. 15, p. 2273-2280
|
In: Mathematische Zeitschrift, 2015, vol. 280, no. 1-2, p. 231-255
|
Thèse de doctorat : Università della Svizzera italiana, 2020 ; 2020INFO003.
A software library for the solution of large-scale structured nonconvex optimization problems is presented in this work, with the purpose of accelerating the solution on single- core, multicore, or massively parallel high-performance distributed memory computing infrastructures. A large class of industrial and engineering problems possesses a particular structure, motivating the development of...
|
Thèse de doctorat : Università della Svizzera italiana, 2019 ; 2019INFO004.
Many current online services need to serve clients distributed across geographic areas. Coordinating highly available and scalable geographically distributed replicas, however, is challenging. While State Machine Replication is the most direct way of achieving availability, no scalability comes from the traditional approach. Typically, scalability is obtained by partitioning the original...
|