A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Filters
A Gravitational Task Model for Target Sensitive Real-Time Applications
2008
2008 Euromicro Conference on Real-Time Systems
In this thesis, we present a novel real-time task model which provides for easy abstractions to express the timing constraints of target sensitive real-time (RT) applications: the gravitational task model ...
The scheduling of target sensitive RT applications must account for timing constraints, and the trade-o among tasks with conicting targets. ...
This is concluded from the fact that the box comprising 50% of all jitter is very short and indicates a jitter of zero. ...
doi:10.1109/ecrts.2008.25
dblp:conf/ecrts/GuerraF08
fatcat:uppp6sxqnfc5xdz5m4yhpjd2li
Design of real-time periodic control systems through synchronization and fixed priorities
2005
International Journal of Systems Science
Control systems are often designed using a set of cooperating periodic modules running under control of a real-time operating system. ...
A correct behaviour of the closed-loop controller requires that the system meets timing constraints like periods and latencies, which can be expressed as deadlines. ...
Gaujal for the integration of the solver for preemptive graphs in ERS. ...
doi:10.1080/00207720412331330408
fatcat:mfadzzskjzhv3cw3pfd6ugx6um
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
2010
Design automation for embedded systems
For demonstrating the usefulness of the presented ideas, a corresponding tool-chain has been implemented. ...
The interaction among the heterogeneous components is modeled by streams of discrete events. In total this yields a hybrid framework for the compositional analysis of embedded systems. ...
The three tasks process two event streams S A and S B which are periodic streams with large jitters that lead to bursts. ...
doi:10.1007/s10617-010-9055-1
fatcat:owl5iwxcbjd3loio5qddvfshzi
Bordered Heegaard Floer homology
2018
Memoirs of the American Mathematical Society
Both are well-defined up to chain homotopy equivalence. ...
For a three-manifold with parametrized boundary, the invariant comes in two different versions, one of which (type D) is a module over the algebra and the other of which (type A) is an A-infinity module ...
Note that, instead of jittering a we could have jittered b with the same result. We extend the denition of a · b bilinearly to cellular 1-chains a contained in α and b contained in β. ...
doi:10.1090/memo/1216
fatcat:2ruqeyy4gbamtllxhgc5d225gy
Distributed Time Synchronization in Wireless Sensor Networks with Coupled Discrete-Time Oscillators
2007
EURASIP Journal on Wireless Communications and Networking
In this paper, the convergence properties of such a system are studied through algebraic graph theory, by modeling the nodes as discrete-time clocks. ...
Furthermore, it is shown that the system of oscillators can be studied as a set of coupled discrete-time PLLs. ...
ACKNOWLEDGMENT The authors would like to acknowledge Matteo Cremaschi for validating some of the numerical results in Figures 3, 4 , and 6. ...
doi:10.1155/2007/57054
fatcat:wkqgnu5dibcsxi6fv5yb7nntpu
Delay Bounds in a Network with Aggregate Scheduling
[chapter]
2000
Lecture Notes in Computer Science
of nodes and/or the number of flows in the network. ...
A notable example of methods based on aggregation has been developed in the Differential Services Working group of IETF. ...
The author is grateful to Jean-Yves Le Boudec and Jim Roberts for pointing out a flaw in the original version of Theorem 1. ...
doi:10.1007/3-540-39939-9_1
fatcat:gr2y7phlm5edfa6nfwj6yhabrq
Detection of eccentric close-binary supermassive black holes with incomplete interferometric data
2022
Astronomy and Astrophysics
Recent studies have proposed that General Relativity Analysis via VLT InTerferometrY upgrade (GRAVITY+) on board the Very Large Telescope Interferometer (VLTI) is able to trace the circular orbit of the ...
We show that using observational time baselines that cover 10% of the orbit increases the possibility of determining the period, eccentricity, and total mass of an eCB-SMBH. ...
We had 5000 samples per chain to auto-tune the sampling algorithm and 4000 productive draws yielding a total of 20 000 samples per chain. ...
doi:10.1051/0004-6361/202243419
fatcat:gtfkwdymkzesrlkuv5hgjboapm
Building a Modern TRNG: An Entropy Source Interface for RISC-V
[article]
2020
IACR Cryptology ePrint Archive
supporting a wide variety of RISC-V implementations and applications. ...
We describe the interface, its use in cryptography, and offer additional discussion, background, and rationale for various aspects of it. ...
Acknowledgements In addition to anonymous reviewers, we thank the RISC-V Cryptographic Extensions Task Group for its input and support, especially Andy Glew, Barry Spinney, Derek Atkins, Ken Dockser, and ...
dblp:journals/iacr/SaarinenNM20
fatcat:4zisg3larrhwlfkql6q4pgf73q
Detection of eccentric close-binary supermassive black holes with incomplete interferometric data
[article]
2022
arXiv
pre-print
shorter than the orbital period. ...
We show that using observational time baselines that cover 10 increases the possibility of determining the period, eccentricity, and total mass of an eCBSMBH. ...
It will also perform better for longer orbital periods.
The linear parameters are algebraic combinations of K and ω, while P, T 0 , and e are non-linear parameters. ...
arXiv:2205.12783v1
fatcat:3zuo4xobwjdhdduomg3xjp3ltm
InterNoC: Unified Deterministic Communication For Distributed NoC-based Man y-Core
2019
Zenodo
Interdependent Multi-version Scheduling in Heterogeneous Energy-aware Embedded Systems Julius Roeder University of Amsterdam Amsterdam, Netherlands Email: j.roeder@uva.nl
Benjamin Rouxel University of ...
Acknowledgments This work is part of a project that has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 779882. ...
The Mathcomp library provides some algebraic structures useful in our case (monoids, rings,...) but not dioids. ...
doi:10.5281/zenodo.5851207
fatcat:rpvcg7lr6vfvheufpbfxl2kpv4
An analytical model of delay in multi-hop wireless ad hoc networks
2011
Wireless networks
as a special case but also facilitates obtaining higher moments of delay such as variance and skewness to capture the QoS parameters such as jitters in recently popular multimedia applications. ...
To the best of our knowledge, all these models fail to address the accurate end-to-end delay analysis of multi-hop wireless networks under unsaturated traffic condition considering the hidden and exposed ...
From the steady-state distribution of the Markov chain, the balance equations of state transition can be obtained as follows: Let p S0 denote the probability of being in state S 0 . ...
doi:10.1007/s11276-011-0372-5
fatcat:xdonxfrhqzfydbub2nlndehjua
Formal methods for broadband and multimedia systems
1998
Computer networks and ISDN systems
The formal speci cation of these properties is necessary to provide unambiguous documentation as well as automated transformation of system requirements during all stages of the life cycle. ...
While we present examples from the domain of multimedia and broadband systems, the applicability of our speci cation methods extends to hard real-time systems. ...
The research of the second author was in part supported by the Natural Sciences and Engineering Research Council (NSERC) of Canada. ...
doi:10.1016/s0169-7552(97)00132-3
fatcat:fzp6vhtkczg7lowlf4eminvbvq
Neural Correlates of Cognition in Primary Visual versus Neighboring Posterior Cortices during Visual Evidence-Accumulation-based Navigation
[article]
2019
bioRxiv
pre-print
We performed a systematic comparison of neural activity in primary visual (V1) to secondary visual and retrosplenial cortices, as mice performed a task where they should accumulate pulsatile visual cues ...
Studies of perceptual decision-making have often assumed that the main role of sensory cortices is to provide sensory input to downstream processes that accumulate and drive behavioral decisions. ...
Pinto contributed behavioral data from the mouse evidence accumulation task. B.B. Scott and C.M. Constantinople contributed behavioral data from the rat evidence accumulation task. ...
doi:10.1101/568766
fatcat:4ireb4dtarf3lde7232suzmdha
Measurement of Mass and Beta-Lifetime of Stored Exotic Nuclei
[chapter]
2004
Lecture Notes in Physics
In this lecture, the basic techniques and concepts of ion storage-cooler rings are first presented, such as storing, beam-focusing and beam-cooling. ...
In particular the main facets of electron cooling will be discussed, the cooling method being most successfully exploited in all operational ion storage-cooler rings. ...
By measuring for the first time the masses of the corresponding endpoints of these chains, masses were derived also for all members of the chains [27, 30] . ...
doi:10.1007/978-3-540-44490-9_5
fatcat:ko27tisqbrctxb6deauwq43jva
Modelling and Discretization of Circuit Problems
[chapter]
2005
Handbook of Numerical Analysis
The algebraic sum of voltages along each loop of the network must be equal to zero at every instant of time. ...
The algebraic sum of currents traversing each cutset of the network must be equal to zero at every instant of time. ...
doi:10.1016/s1570-8659(04)13006-8
fatcat:h3l2jw323rbnbdz7y5wec3zitm
« Previous
Showing results 1 — 15 out of 351 results