Related papers: Time Served
The history of VLBI is summarized with emphasis on the technical aspects. A summary of VLBI systems which are in use is given, and an outlook to the future of VLBI instrumentation.
The Fermi Large Area Telescope has enabled detailed studies of high-energy astrophysical sources. To support analysis, we present FermiPhased, a flexible, open-source tool for phase-resolved studies of pulsars, binaries, and other…
A CW-compatible, pulsed H- superconducting linac is envisaged as a possible path for upgrading Fermilab's injection complex. To validate the concept of the front- end of such a machine, a test accelerator (a.k.a. PXIE) is under…
Significant upgrades to Fermilab's accelerator complex have accompanied the development of LBNF (the Long Baseline Neutrino Facility) and DUNE (Deep Underground Neutrino Experiment). These improvements will facilitate 1-MW operation of the…
Till today we dreamt of imperceptible delay in a network. The computer science research grows today faster than ever offering more and more services (computational representational, graphical, intelligent implication etc) to its user. But…
With the advancement of Large Language Models (LLMs), the importance of accelerators that efficiently process LLM computations has been increasing. This paper discusses the necessity of LLM accelerators and provides a comprehensive analysis…
Time-critical cyber-physical applications demand the timely delivery of information. In this work, we employ a high-speed packet processing testbed to quantitatively analyze a packet forwarding application running on a shared memory…
This paper addresses the problem of improving response times of robots implemented in the Robotic Operating System (ROS) using formal verification of computational-time feasibility. In order to verify the real time behaviour of a robot…
Verification of real-time systems involving hard timing constraints and concurrency is of utmost importance. Parametric timed model checking allows for formal verification in the presence of unknown timing constants or uncertainty (e.g.…
Dataflow devices represent an avenue towards saving the control and data movement overhead of Load-Store Architectures. Various dataflow accelerators have been proposed, but how to efficiently schedule applications on such devices remains…
With most technical fields, there exists a delay between fundamental academic research and practical industrial uptake. Whilst some sciences have robust and well-established processes for commercialisation, such as the pharmaceutical…
A multi-MW proton facility, Project X, has been proposed and is currently under development at Fermilab. We are carrying out a program of research and development aimed at integrated systems testing of critical components comprising the…
This paper is dedicated to give a concise introduction to the theory of causal fermion systems. After putting the theory of causal fermion systems into the historical context, we recall fundamental physical preliminaries. Afterwards, we…
Progress in the realm of quantum technologies is paving the way for a multitude of potential applications across different sectors. However, the reduced number of available quantum computers, their technical limitations and the high demand…
Temporal sampling does more than add another axis to the vector of observables. Instead, under the recognition that how objects change (and move) in time speaks directly to the physics underlying astronomical phenomena, next-generation…
Despite the critical role of timing infrastructure in enabling essential services, from public key infrastructure and smart grids to autonomous navigation and high-frequency trading, modern timing stacks remain highly vulnerable to…
In this paper we propose an Intelligent Management System which is capable of managing the automobile functions using the rigorous real-time principles and a multicore processor in order to realize higher efficiency and safety for the…
Colorado State University (CSU) and Fermi National Accelerator Laboratory (Fermilab) have been developing a control system to regulate the resonant frequency of an RF electron gun. As part of this effort, we present initial test results for…
In the last years, the need for automated real-time detection and classification of astronomical transients began to be more impelling. Better technologies involve a higher number of detected candidates and an automated classification will…
The approach presented in this article is a contribution to research relating to the optimization of the scheduling of the spots of maintenance. This work answers the following objectives: Decision in time-reality (planning and scheduling),…