Capítols de llibre
Enviaments recents
-
LotterySampling: A randomized algorithm for the Heavy Hitters and Top-k problems in data streams
(Springer, 2022)
Capítol de llibre
Accés obertWe propose a new randomized count-based algorithm to solve the Heavy Hitters and Top-k problems in data streams. This algorithm, called LotterySampling, uses the intuitive concept of “lottery tickets”, to decide which ... -
A probabilistic model revealing shortcomings in Lua’s hybrid tables
(Springer, 2022)
Capítol de llibre
Accés obertLua (Ierusalimschy et al., 1996) is a well-known scripting language, popular among many programmers, most notably in the gaming industry. Remarkably, the only data-structuring mechanism in Lua, is an associative array ... -
All power structures are achievable in basic weighted games
(Springer, 2023-04-09)
Capítol de llibre
Accés restringit per política de l'editorialA major problem in decision making is designing voting systems that are as simple as possible and able to reflect a given hierarchy of power of its members. It is known that in the class of weighted games all hierarchies ... -
The decline of the Buchholz tiebreaker system: a preferable alternative
(Springer, 2023-01-20)
Capítol de llibre
Accés restringit per política de l'editorialWe propose a simple method of undoing tiebreaks in sport competitions with a large number of competitors and relatively small number of rounds of competition. Such methods are common in many games including Chess, Go, ... -
Decomposed process discovery and conformance checking
(Springer, 2018)
Capítol de llibre
Accés obertDecomposed process discovery and decomposed conformance checking are the corresponding variants of the two monolithic fundamental problems in process mining (van der Aalst 2011): automated process discovery, which considers ... -
Petri net analysis using boolean manipulation
(Springer, 1994)
Capítol de llibre
Accés obertThis paper presents a novel analysis approach for bounded Petri nets. The net behavior is modeled by boolean functions, thus reducing reasoning about Petri nets to boolean calculation. The state explosion problem is managed ... -
A compositional method for the synthesis of asynchronous communication mechanisms
(Springer, 2007-06-30)
Capítol de llibre
Accés obertAsynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ACM synthesis method based on the generation ... -
Nature inspired meta-heuristics for grid scheduling: single and multi-objective optimization approaches
(Springer, 2008)
Capítol de llibre
Accés obertIn this chapter, we review a few important concepts from Grid computing related to scheduling problems and their resolution using heuristic and meta-heuristic approaches. Scheduling problems are at the heart of any Grid-like ... -
Parallel algorithms for two processors precedence constraint scheduling
(Springer, 2016-06-07)
Capítol de llibre
Accés obert -
Randomized parallel approximations to max flow
(Springer, 2016-06-07)
Capítol de llibre
Accés obert -
Continuous assessment in the evolution of a CS1 course: The pass rate/workload ratio
(Springer, 2016)
Capítol de llibre
Accés obertThe first programming course (Programming-1, CS1) in the Informatics Engineering Degree of the Facultat d'Informàtica de Barcelona was completely redesigned in 2006 in order to reinforce the learn-by- doing methodology. ...