Información de la editorial
Documentos disponibles de esta editorial (5)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
An Approach to Manage Reconfigurations and Reduce Area Cost in Hard Real-Time Reconfigurable Systems
This article presents a methodology to build real-time reconfigurable systems that ensure that all the temporal constraints of a set of applications are met, while optimizing the utilization of the available reconfigurable resources. Starting fr[...]texto impreso
Faqir-Rhazoui, Youssef ; Ariza Garzón, Miller Janny ; Arroyo Gallardo, Javier ; Hassan, Samer | ACM | 2021-05Blockchain technology has enabled a thriving emergent ecosystem of tools and communities actively using decentralized systems. However, most blockchain infrastructure (e.g. Ethereum) requires users to pay some fees to execute their desired actio[...]texto impreso
Clemente Barreira, Juan Antonio ; Beretta, Ivan ; Rana, Vincenzo ; Atienza, David ; Sciuto, Donatella | ACM | 2014-06-01Reconfigurable platforms are a promising technology that offers an interesting trade-off between flexibility and performance, which many recent embedded system applications demand, especially in fields such as multimedia processing. These applic[...]texto impreso
Non-strict non-deterministic functions are one of the most distinctive features of functional-logic languages. Traditionally, two semantic alternatives have been considered for this kind of functions: call-time choice and run-time choice. While [...]texto impreso
In order to prove the computational adequacy of the (operational)natural semantics for lazy evaluation with respect to a standard denotational semantics, Launchbury defines a resourced denotational semantics. This should be equivalent to the sta[...]
