Results 241 to 250 of about 3,329,473 (267)

Synthesizing controllers from real-time specifications

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1999
We present an algorithm for synthesizing real-time controllers specified in a subset of the interval temporal logic duration calculus. The synthesized controllers are given in terms of programmable logic controller (PLC)-automata, which are an abstract description of programs of polling machines.
openaire   +2 more sources

A Survey of Real-Time Ethernet Modeling and Design Methodologies: From AVB to TSN

ACM Computing Surveys, 2023
Libing Deng, Guoqi Xie, Renfa Li
exaly  

Real-Time Time-Dependent Electronic Structure Theory

Chemical Reviews, 2020
Xiaosong Li, Niranjan Govind, Christine M Isborn   +2 more
exaly  

A Survey on Network Methodologies for Real-Time Analytics of Massive IoT Data and Open Research Issues

IEEE Communications Surveys and Tutorials, 2017
Shikhar Verma, Yuichi Kawamoto, Zubair Md Fadlullah   +2 more
exaly  

Analysis of Relative Gene Expression Data Using Real-Time Quantitative PCR and the 2−ΔΔCT Method

Methods, 2001
Kenneth J Livak, Thomas D Schmittgen
exaly  

A Survey on Multipath Routing Protocols for QoS Assurances in Real-Time Wireless Multimedia Sensor Networks

IEEE Communications Surveys and Tutorials, 2017
Mohammed Zaki Hasan, Hussain Al-Rizzo, Fadi Al-Turjman   +2 more
exaly  

A survey of hard real-time scheduling for multiprocessor systems

ACM Computing Surveys, 2011
Robert I Davis, Alan Burns, Burnsalan
exaly  

Validating an innovative real-time Delphi approach - A methodological comparison between real-time and conventional Delphi studies

Technological Forecasting and Social Change, 2011
Heiko A Von Der Gracht, Inga-Lena Darkow   +1 more
exaly  

Real‐Time Manipulation with Magnetically Tunable Structures

Advanced Materials, 2014
Yangying Zhu, Dion S Antão, Rong Xiao
exaly  

Fault-tolerant scheduling in homogeneous real-time systems

ACM Computing Surveys, 2014
C M Krishna
exaly