Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Dario Frascaria

dblp:18/10965 · DBLP profile ↗
← Back
5ranked-venue papers
1as first author
0since 2021 · last 2020
0000-0003-4243-1530ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 4 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Approximation and online algorithms · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Approximation and online algorithms › online algorithms
caching
0.212015
Quantifying Competitiveness in Paging with Locality of Reference · ICALP (1) 2015
Approximation and online algorithms › online algorithms
competitive analysis
0.212015
Quantifying Competitiveness in Paging with Locality of Reference · ICALP (1) 2015
Approximation and online algorithms › online algorithms
locality of reference
0.212015
Quantifying Competitiveness in Paging with Locality of Reference · ICALP (1) 2015
Approximation and online algorithms
online algorithms
0.212015
Quantifying Competitiveness in Paging with Locality of Reference · ICALP (1) 2015

Methods — techniques the papers use, named apart from their topics

competitive analysis · 0.2
YearPublicationVenuePosition
2020 Algorithms for Flows over Time with Scheduling Costs
abstract
Abstract Flows over time have received substantial attention from both an optimization and (more recently) a game-theoretic perspective. In this model, each arc has an associated delay for traversing the arc, and a bound on the rate of flow entering the arc; flows are time-varying. We consider a setting which is very standard within the transportation economic literature, but has received little attention from an algorithmic perspective. The flow consists of users who are able to choose their route but also their departure time, and who desire to arrive at their destination at a particular time, incurring a scheduling cost if they arrive earlier or later. The total cost of a user is then a combination of the time they spend commuting, and the scheduling cost they incur. We present a combinatorial algorithm for the natural optimization problem, that of minimizing the average total cost of all users (i.e., maximizing the social welfare). Based on this, we also show how to set tolls so that this optimal flow is induced as an equilibrium of the underlying game.
Dario Frascaria, Neil Olver
IPCO1
2019 Fixed-Order Scheduling on Parallel Machines
Thomas Bosman, Dario Frascaria, Neil Olver, René Sitters, Leen Stougie
IPCO2
2018 Quantifying Competitiveness in Paging with Locality of Reference
abstract
The classical paging problem is to maintain a two-level memory system so that a sequence of requests to memory pages can be served with a small number of faults. Standard competitive analysis gives overly pessimistic results as it ignores the fact that real-world input sequences exhibit locality of reference. Initiated by a paper of Borodin et al. (J Comput Syst Sci 50:244–258, 1995) there has been considerable research interest in paging with locality of reference. In this paper we study the paging problem using an intuitive and simple locality model that records inter-request distances in the input. A characteristic vector $$\mathcal{C}$$ defines a class of request sequences with certain properties on these distances. The concept was introduced by Panagiotou and Souza (In: Proceedings of 38th annual ACM symposium on theory of computing (STOC), 2006). As a main contribution we develop new and improved bounds on the performance of important paging algorithms. A strength and novelty of the results is that they express algorithm performance in terms of locality parameters. In a first step we develop a new lower bound on the number of page faults incurred by an optimal offline algorithm opt. The bound is tight up to a small additive constant. Technically, the result relies on a new approach of relating the number of page faults to the number of memory hits and amortizing suitably. Based on these expressions for opt’s cost, we obtain nearly tight upper and lower bounds on lru’s competitiveness, given any characteristic vector $$\mathcal{C}$$ . Furthermore, we compare lru to fifo and fwf. For the first time we show bounds that quantify the difference between lru’s performance and that of the other two strategies. The results imply that lru is strictly superior on inputs with a high degree of locality of reference. There exist general input families for which lru achieves constant competitive ratios whereas the guarantees of fifo and fwf tend to k, the size of the fast memory. Finally, we report on an experimental study that demonstrates that our theoretical bounds are very close to the experimentally observed ones. Hence our contributions bring competitive paging again closer to practice.
Susanne Albers, Dario Frascaria
Algorithmica2
2015 Quantifying Competitiveness in Paging with Locality of Reference
Susanne Albers, Dario Frascaria
ICALP (1)2
2013 All Graphs with at Most Seven Vertices are Pairwise Compatibility Graphs
abstract
A graph G is called a pairwise compatibility graph (PCG) if there exists an edge-weighted tree T and two non-negative real numbers dmin and dmax such that each leaf lu of T corresponds to a vertex u∈V and there is an edge (u, v)∈E if and only if dmin ≤ dT,w (lu, lv) ≤ dmax, where dT,w (lu, lv) is the sum of the weights of the edges on the unique path from lu to lv in T. In this note, we show that all the graphs with at most seven vertices are PCGs. In particular, all these graphs except for the wheel on seven vertices W7 are PCGs of a particular structure of a tree: a centipede.
Tiziana Calamoneri, Dario Frascaria, Blerina Sinaimeri
Comput. J.2