Zobrazeno 1 - 10
of 117
pro vyhledávání: '"Raimondi, Franco"'
WebAssembly is a binary format for code that is gaining popularity thanks to its focus on portability and performance. Currently, the most common use case for WebAssembly is execution in a browser. It is also being increasingly adopted as a stand-alo
Externí odkaz:
http://arxiv.org/abs/2407.14527
We present a novel approach to differential cost analysis that, given a program revision, attempts to statically bound the difference in resource usage, or cost, between the two program versions. Differential cost analysis is particularly interesting
Externí odkaz:
http://arxiv.org/abs/2204.00870
Publikováno v:
The Bulletin of Symbolic Logic, 2020 Sep 01. 26(3/4), 312-312.
Externí odkaz:
https://www.jstor.org/stable/27004566
Using a SAT-solver on top of a partial previously-known solution we improve the upper bound of the packing chromatic number of the infinite square lattice from 17 to 15. We discuss the merits of SAT-solving for this kind of problem as well as compare
Externí odkaz:
http://arxiv.org/abs/1510.02374
Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consume
Externí odkaz:
http://arxiv.org/abs/1504.06766
Autor:
Raimondi, Franco
A multi-agent system (MAS) is usually understood as a system composed of interacting autonomous agents. In this sense, MAS have been employed successfully as a modelling paradigm in a number of scenarios, especially in Computer Science. However, the
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.433009
The success of software model checking depends on finding an appropriate abstraction of the subject program. The choice of the abstract domain and the analysis configuration is currently left to the user, who may not be familiar with the tradeoffs an
Externí odkaz:
http://arxiv.org/abs/1305.6640
Publikováno v:
EPTCS 112, 2013, pp. 71-79
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constr
Externí odkaz:
http://arxiv.org/abs/1303.0793
Publikováno v:
In Computer Communications 1 September 2016 89-90:128-140
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2016 Aug 01. 104(4), 679-703.
Externí odkaz:
http://www.jstor.org/stable/24754989