Results 21 to 30 of about 5,283,237 (295)
CFA2: a Context-Free Approach to Control-Flow Analysis [PDF]
In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate
Andrew Gordon +7 more
core +2 more sources
Temporal analysis of data flow control systems [PDF]
Due to their distributed/parallel and data-driven nature, control systems can easily be modeled according to a data flow approach. Control systems are very often real-time systems; therefore, a formalism able to capture timing is required. In this paper we introduce a data flow model that includes time and priority for specifying real-time control ...
Cinzia Bernardeschi +4 more
openaire +2 more sources
Data assimilation for control of a plane mixing layer [PDF]
The design of active model-based flow controllers requires the knowledge of a dynamical model of the flow. However, real-time and robust estimation of the flow state remains a challenging task when only limited spatial and temporal discrete measurements ...
Kumar N., Kerhervé F., Cordier L.
doaj +1 more source
Process and Data Flow Control in KLOE
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Massimo Casarsa, Ciro Pistillo
openaire +2 more sources
Distributed allocation of mobile sensing swarms in gyre flows [PDF]
We address the synthesis of distributed control policies to enable a swarm of homogeneous mobile sensors to maintain a desired spatial distribution in a geophysical flow environment, or workspace. In this article, we assume the mobile sensors (or robots)
Forgoston, Eric +3 more
core +3 more sources
Apparatus and method for congestion control in high speed networks [PDF]
An adjustable bit rate (ABR) feedback control scheme is provided where the effects of multiloop delays and high priority traffic transmission are built into the control model. The data traffic is filtered by a low pass filter.
Li, San-Qi, Sigarto, Samuel
core +1 more source
Optimal Control Design for Traffic Flow Maximization Based on Data-Driven Modeling Method
This paper proposes enhanced prediction and control design methods for improving traffic flow with human-driven and automated vehicles. To achieve accurate prediction for the entire time horizon, data-driven and model-based prediction methods were ...
Balázs Németh +3 more
doaj +1 more source
Priority-Based Data Flow Control for Long-Range Wide Area Networks in Internet of Military Things
The Internet of Military Things (IoMT) is transforming defense operations by enabling the seamless integration of sensors and actuators for the real-time transmission of critical data in diverse military environments.
Rachel Kufakunesu +2 more
doaj +1 more source
Probabilistic data flow analysis: a linear equational approach [PDF]
Speculative optimisation relies on the estimation of the probabilities that certain properties of the control flow are fulfilled. Concrete or estimated branch probabilities can be used for searching and constructing advantageous speculative and ...
Di Pierro, Alessandra, Wiklicky, Herbert
core +3 more sources
Pseudo-shock waves and their interactions in high-speed intakes [PDF]
In an air-breathing engine the flow deceleration from supersonic to subsonic conditions takes places inside the isolator through a gradual compression consisting of a series of shock waves.
Gnani, F., Kontis, K., Zare-Behtash, H.
core +1 more source

