5 citations · 29 across the 26 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report)
Lukas Holik, Petr Janku, Anthony W. Lin +2
String analysis is the problem of reasoning about how strings are manipulated by a program. It has numerous applications including automatic detection of cross-site scripting (XSS)…
cs.NE2020★ 5 cited
Adaptive Verifiability-Driven Strategy for Evolutionary Approximation of Arithmetic Circuits
Milan Ceska, Jiri Matyas, Vojtech Mrazek +3
We present a novel approach for designing complex approximate arithmetic circuits that trade correctness for power consumption and play important role in many energy-aware applicat…