VMCAI
2016
Springer
8 years 1 months ago
2016
Springer
This paper presents a method for generating semi-algebraic invariants for systems governed by non-linear polynomial ordinary differential equations under semi-algebraic evolution c...
VMCAI
2016
Springer
8 years 1 months ago
2016
Springer
We present the first study of robustness of systems that are both timed as well as reactive (I/O). We study the behavior of such timed I/O systems in the presence of uncertain inp...
VMCAI
2016
Springer
8 years 1 months ago
2016
Springer
Almost all applications of SAT solvers generate Boolean formulae from higher level expression graphs by encoding the semantics of each operation or relation into propositional logi...
VC
2016
8 years 1 months ago
2016
VC
2016
8 years 1 months ago
2016
VAMOS
2016
Springer
8 years 1 months ago
2016
Springer
Software product lines are used to efficiently develop and verify similar software products. While they focus on reuse of artifacts between products, a product line may also be re...
VAMOS
2016
Springer
8 years 1 months ago
2016
Springer
Software systems need to use cryptography to protect any sensitive data they collect. However, there are various classes of cryptographic components (e.g., ciphers, digests, etc.)...
TCOM
2016
8 years 1 months ago
2016
—In modern tape storage, user data are recorded and retrieved along multiple tracks of rapidly moving, flexible magnetic medium that give rise to a variety of channel impediment...
TCOM
2016
8 years 1 months ago
2016
A pair of sequences is said to be an almost-complementary pair (ACP) if they have zero aperiodic autocorrelation sums except at only one position over all the positive/negative ti...
TCOM
2016
8 years 1 months ago
2016
—Based on the efficient Generalized Water-Filling with Group peak Power constraints (GWFGP), this paper proposed an iterative algorithm to compute the optimal solutions to syste...