Clock stability characterization and measurement for telecommunications pose peculiar issues and requirements. This paper aims to provide an overview on this subject. After briefly recalling the background work, the key features and issues of clock stability characterization and measurement in telecommunications are described. The timing signal reference model and the stability quantities adopt...

The increased interest in protocols that provide a total order on message delivery has led to several diierent deenitions of total order. In this paper we investigate these diierent deenitions and propose a hierarchy that helps to better understand the implications of the diierent possibilities in terms of guarantees and communication cost. We identify two definitions: weak total order and stro...

Chain Code Picture Systems are Lindenmayer systems over a special alphabet. The strings generated are interpreted as pictures. This leads to Chain Code Picture Languages. In this paper, synchronous deterministic Chain Code Picture Systems (sD0L systems) are studied with respect to the finiteness of their picture languages. First, a hierarchy of abstractions is developed, in which the interpreta...

The evolution of object-oriented databases (OODBs) has not been accompanied by an equivalent evolution of theoretical models, leaving the foundations for OODBs ill-defined. Design of OODBs has been hampered by the lack of design techniques/tools which correspond to the theoretical model. This paper defines a core conceptual object oriented database (COODB) model providing a foundation and frame...

We introduce two CAD tools, checkT, and minT, , for timing verification and optimal clocking. Both tools are based on a new timing model of synchronous digital circuits which is: 1) general enough to handle arbitrary multiphase clocking; 2) complete, in the sense that it captures signal propagation along short as well as long paths in the logic; 3) extensible to make it relatively easy to incor...

In this paper we study bipartite quantum correlations using techniques from tracial polynomial optimization. We construct a hierarchy of semidefinite programming lower bounds on the minimal entanglement dimension of a bipartite correlation. This hierarchy converges to a new parameter: the minimal average entanglement dimension, which measures the amount of entanglement needed to reproduce a qua...

Abstract The polarizing tendency of politically leaned social media is usually claimed to be spontaneous, or a by-product underlying platform algorithms. This contribution revisits both claims by articulating the digital world and rules derived from capitalist accumulation in post-Fordist age, transdisciplinary perspective human exact sciences. Behind individual freedom, there rigid pyramidal h...

This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of the industrial revolution and the digital and information technology revolutions. Key deterministic models that have proven successful include differential equations, synchronous digital logic and single-th...

DIRES21 is a digital control system developed on the Faculty of electrical engineering and computing in Zagreb (Department of electrical machines, drives and automation). This fourprocessor digital system is suitable for the control and regulation of fast processes (electric motor drives, turbines, excitation of a synchronous generator, synchronization of a synchronous generator and etc.). Deve...

We introduce platform studies, a family of approaches to digital media. In platform studies, close consideration is given to the detailed technical workings of computing systems. This allows the connections between platform technologies and creative production to be investigated. Two short studies of the Atari VCS (2600) and the Nintendo Wii show how close consideration of this sort can inform ...