168
click to vote
VMCAI
2016
Springer
10 years 3 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...
166
Voted
VMCAI
2016
Springer
10 years 3 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...
164
click to vote
VMCAI
2016
Springer
10 years 3 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...
310
click to vote
VLSISP
2016
10 years 3 months ago
2016
A keyword-sensitive language modeling framework for spoken keyword search (KWS) is proposed to combine the advantages of conventional keyword-filler based and large vocabulary con...
315
Voted
VLSID
2016
IEEE
10 years 3 months ago
2016
IEEE
—Hardware design is increasingly shifted towards bstraction levels to cope with the complexity of modern systems. For this purpose, the concept of Hardware/Software Co-Design has...
360
click to vote
VLSID
2016
IEEE
10 years 3 months ago
2016
IEEE
— Approximate computing has recently emerged as a promising approach to energy-efficient design of digital systems. Approximate computing relies on the ability of many systems an...
201
click to vote
VLSID
2016
IEEE
10 years 3 months ago
2016
IEEE
—In this paper, we propose a test generation method that employs clustering and learning techniques to reduce test generation time in hybrid systems. While learning-oriented test...
207
click to vote
VLSID
2016
IEEE
10 years 3 months ago
2016
IEEE
Side channel analysis and active fault analysis are now major threats to even mathematically robust cryptographic algorithms that are otherwise resistant to classical cryptanalysis...