The design and evaluation of job scheduling strategies often require simulations with workload data or models. Usually workload traces are the most realistic data source as they include all explicit and implicit job patterns which are not always considered in a model. In this paper, a method is presented to enlarge and/or duplicate jobs in a given workload. This allows the scaling of workloads ...

What properties about the internals of a program explain the possible di↵erences in its overall running time for di↵erent inputs? In this paper, we propose a formal framework for considering this question we dub trace-set discrimination. We show that even though the algorithmic problem of computing maximum likelihood discriminants is NP-hard, approaches based on integer linear programming (ILP)...

The notion of trace in a monoidal category has been introduced to give a categorical account of a situation occurring in very different settings: linear algebra, topology, knot theory, proof theory. . . with the trace operation understood as a feedback operation. Partially traced categories were later introduced to account for cases where the trace is not always defined, and it was shown that p...

Discrete event simulation is widely used in performance and dependability analysis of systems, often in a way that many replica of a model are simulated. Those replica may reveal substantially different dynamic behavior of the simulation model. Recognizing if this is the case and what different classes of behavior are present can be of relevance to gain more insight in the system under study bu...

This paper looks particularly at informal and implicit sources of information in our environment, how we can read this kind of information, and how the information has come about. The paper focuses on implicit information and ‘reading the environment’, with examples from practice, and presenting an art project that investigates this notion through an interactive video installation. This install...

Despite subaqueous fossils tracks of tetrapods being quite common in the fossil record, few studies discuss their classification and morphofunctional interpretation. Even with their simple morphology, some important information about the trackmakers can be retrieved from these tracks. Subaqueous traces were found in Brazil in the Irati Formation (Cisuralian, Permian), Paraná Basin, and describe...

We show how some of our recent results clarify the relationship between the Lê numbers and the cohomology of the Milnor fiber of a non-isolated hypersurface singularity. The Lê numbers are actually the ranks of the free Abelian groups – the Lê modules – appearing in a complex whose cohomology is that of the Milnor fiber. Moreover, the Milnor monodromy acts on the Lê module complex, and we descr...

The formal methods, fault-tolerance, and cyber-security research communities explore models that differ from each other. The differences frustrate efforts at cross-community collaboration. Moreover, ignorance about these differences means the status quo is likely to persist. This paper discusses two of the key differences: (i) the trace-based semantic foundation for formal methods and (ii) the ...

We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series with those which are definable by restricted formulas from a weighted logics over traces. We use a translation technique from formulas over words to those over traces, and vice versa. This way, we show also the equivalence of ape...