Results 281 to 290 of about 2,896 (305)
Some of the next articles are maybe not open access.
Assumption Generation for Asynchronous Systems by Abstraction Refinement
2013Compositional verification provides a way for deducing properties of a complete program from properties of its constituents. In particular, the assume-guarantee style of reasoning splits a specification into assumptions and guarantees according to a given inference rule and the generation of assumptions through machine learning makes the automatic ...
Qiusong Yang +3 more
openaire +1 more source
A Generic Architecture for Robust Asynchronous Communication Links
2013This paper proposes a new generic architecture for building robust communication links for globally asynchronous locally synchronous (GALS) circuits. The general idea is to use delay-insensitive codes along with error detecting codes to provide resilience against transient faults as well as robustness against delay variations.
Jakob Lechner, Robert Najvirt
openaire +1 more source
Asynchronous or induction generator
Proceedings of the Institution of Electrical Engineers, 1972A. Nicolaide, W.J. Heaton
openaire +1 more source
Possibilities for connection of asynchronous generators over 500 kW in the distribution network
2020Daniel Dobrilov
exaly
Sparse asynchronous cortical generators can produce measurable scalp EEG signals
NeuroImage, 2016Nicolas Von Ellenrieder +2 more
exaly
Determination of Operating Characteristics for Asynchronous Generators Connected to the Power Grid
2023Ion Vlad
exaly
Operation of Synchronous Generators in the Asynchronous Mode
IEEE Transactions on Power Apparatus and Systems / Technical Operations Committee, 1974A M El-Serafi
exaly
Effect of wind parks with doubly fed asynchronous generators on small-signal stability
Electric Power Systems Research, 2009G Tsourakis
exaly
Asynchronous performance characteristics of turbo-generators
Proceedings of the IEE Part A Power Engineering, 1962B J Chalmers
exaly