Trabajos migrados en revisión - FAMAF - Congresos 2017
Recent Submissions
-
Comparación de performance de un método de dimensionamiento de filtros activos utilizando Particle Swarm Optimization en espacio de búsqueda discreto
(2017)En este trabajo se plantea la aplicación del algoritmo de optimización por enjambre de partículas (PSO, Particle Swarm Optimization) al diseño de filtros activos. Se trata de una variante PSO, denominada PSOd, presentada ... -
Decoding Lua: formal semantics for the developer and the semanticist
(2017)We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, confirming ...