108
Voted
VMCAI
2016
Springer
9 years 11 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...
101
Voted
VMCAI
2016
Springer
9 years 11 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...
102
Voted
VMCAI
2016
Springer
9 years 11 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...
240
Voted
VLSISP
2016
9 years 11 months ago
2016
303
Voted
VLSISP
2016
9 years 11 months ago
2016
221
click to vote
VLSISP
2016
9 years 11 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...
228
Voted
VLSID
2016
IEEE
9 years 11 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...
256
Voted
VLSID
2016
IEEE
9 years 11 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...
131
Voted
VLSID
2016
IEEE
9 years 11 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...
141
Voted
VLSID
2016
IEEE
9 years 11 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...