Ponències/Comunicacions de congressos
Recent Submissions
-
Exact and heuristic allocation of multi-kernel applications to multi-FPGA platforms
Conference report
Open AccessFPGA-based accelerators demonstrated high energy efficiency compared to GPUs and CPUs. However, single FPGA designs may not achieve sufficient task parallelism. In this work, we optimize the mapping of high-performance ... -
Semantic integration on spatial databases: SIT-SD prototype
(2003)
Conference report
Open AccessProgress on data integration has come to the point that we must deal with the need of semantic integration. ln this work we present a prototype of an integration tool of information sources (Semantic lntegration Tool for ... -
Implementando acceso directo y secuencial a colecciones de datos mediante aspectos
(2004)
Conference report
Open AccessLas bibliotecas de colecciones de datos juegan un papel importante en el desarrollo de software basado en componentes. Las colecciones contenidas en las bibliotecas de este tipo (JCF, STL, LEDA etc.) implementan un modelo ... -
Hybrid evolutionary data analysis technique for environmental modeling
(International Centre for Numerical Methods in Engineering (CIMNE), 2006)
Conference report
Open AccessIn this work an evolutionary fuzzy system (EFS) is presented and applied to an environmental problem, i.e. modeling ozone concentrations. The hybrid system is composed by a FIR methodology and a genetic algorithm (GA) that ... -
Defining inheritance in i* at the level of SR intentional elements
(CEUR-WS.org, 2008)
Conference lecture
Open AccessThe is-a relationship among actors has been introduced since the very beginning in the i* framework. However, the effect of this construct at the level of intentional elements and dependencies is not always completely ... -
Sesquickselect: One and a half pivots for cache-efficient selection
(Curran, 2019)
Conference report
Open AccessBecause of unmatched improvements in CPU performance, memory transfers have become a bottleneck of program execution. As discovered in recent years, this also affects sorting in internal memory. Since partitioning around ... -
Deep learning is blowing in the wind. Deep models applied to wind prediction at turbine level
(Institute of Physics (IOP), 2019)
Conference report
Open AccessWind Energy generation depends on the existence of wind, a meteorological phenomena intermittent by nature, with the consequence of generating uncertainty on the availability of wind energy in the future. The grid stability ... -
Genet: a tool for the synthesis and mining of Petri nets
(Institute of Electrical and Electronics Engineers (IEEE), 2009)
Conference report
Open AccessState-based representations of concurrent systems suffer from the well known state explosion problem. In contrast, Petri nets are good models for this type of systems both in terms of complexity of the analysis and in ... -
Lazy transition systems: application to timing optimization of asynchronous circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1998)
Conference report
Open AccessThe paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzTSs can be effectively used to model the ... -
Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers
(Universitat Politècnica de Catalunya (UPC), 1996)
Conference report
Open AccessPetrifyis a tool for (1) manipulating concurrent specifications and (2) synthesis and optimization of asynchronous control circuits. Given a Petri Net (PN), a Signal Transition Graph (STG), or a Transition ... -
Task generation and compile-time scheduling for mixed data-control embedded software
(Association for Computing Machinery (ACM), 2000)
Conference report
Open AccessThe problem of optimal software synthesis for concurrent processes to be implemented on a single processor is addressed. The approach calls for the representation of the concurrent processes with Petri nets that give a ... -
Verification of asynchronous circuits by BDD-based model checking of Petri nets
(Springer, 1995)
Conference report
Open AccessThis paper presents a methodology for the verification of speed-independent asynchronous circuits against a Petri net specification. The technique is based on symbolic reachability analysis, modeling both the specification ...
RSS 1.0