Concept
Langage informatique
Publications associées (16)
EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation
Blagovesta Hristova Kostova, Wei Dai
Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive. At the same time, FHE is notoriously ...
ASSOC COMPUTING MACHINERY2020Language Independent Query by Example Spoken Term Detection
Language independent query-by-example spoken term detection (QbE-STD) is the problem of retrieving audio documents from an archive, which contain a spoken query provided by a user. This is usually casted as a hypothesis testing and pattern matching problem ...
EPFL2019Towards Automating Grammar Equivalence Checking
Viktor Kuncak, Mikaël Mayer, Ravichandhran Kandhadai Madhavan
We consider from practical perspective the (generally undecidable) problem of checking equivalence of context-free grammars. We present both techniques for proving equivalence, as well as techniques for finding counter-examples that establish non-equivalen ...
2015Algorithms for Interface Synthesis
A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We compare and evaluate three different algorithms for automatically extracting temporal interfac ...
Springer2007Scientific Computing with MATLAB and Octave
This textbook is an introduction to Scientific Computing, in which several numerical methods for the computer solution of certain classes of mathematical problems are illustrated. The authors show how to compute the zeros or the integrals of continuous fun ...
Springer2006