Many software systems are variational: they can be configured to meet diverse sets of requirements. Variability is found in both communication protocols and discrete controllers of embedded systems. In these areas, model checking is an important verification technique. For variational models (systems with variability), specialized family-based model checking algorithms allow efficient verificat...

Motivated by the fact that both classical and quantum description of nature rest on causality a variational principle, we develop novel highly versatile discretization prescription for initial value problems (IVPs). It is based an optimization (action) functional with doubled degrees freedom, which discretized using single regularized summation-by-parts (SBP) operator. Formulated as task it all...

We investigate properties of dark solitons in nonlocal materials with an arbitrary degree of nonlocality. We employ the variational technique and describe dark solitons, for the first time to our knowledge, in the whole range of degree of nonlocality.

The fixed point technique is used to prove the existence of a solution for a class of nonlinear variational inequalities related with odd order constrained boundary value problems and to suggest an iterative algorithm to compute the approximate solution.

As technology scales down, timing verification of digital integrated circuits becomes an extremely difficult task due to the gate and wire variability. Therefore, statistical timing analysis (denoted by σTA) is becoming unavoidable. In this paper, two new approaches for doing statistical gate timing analysis for Gaussian and non-Gaussian sources of variation in block-based σTA are presented. To...