✦ LIBER ✦

Synchronization on the basis of pulsar time

✍ Scribed by A. E. Avramenko

Publisher: Springer US
Year: 2007
Tongue: English
Weight: 153 KB
Volume: 50
Category: Article
ISSN: 0543-1972
DOI: 10.1007/s11018-007-0139-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparison of atomic scales on the basis

Comparison of atomic scales on the basis of pulsar time

✍ A. E. Avramenko; I. Yu. Blinov; A. S. Goncharov; I. A. Driga 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 256 KB

Information coding on the basis of synch

Information coding on the basis of synchronization of neuronal activity

✍ Roman M. Borisyuk; Galina N. Borisyuk 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 739 KB

The parametric stability of pulsar time

✍ A. E. Avramenko 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 304 KB

On the time variation of rotation parame

On the time variation of rotation parameters of pulsar NP 0532

✍ S. A. Gerasimov; A. A. Stepanian 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 258 KB

The Parkes Multibeam Pulsar Survey – II.

The Parkes Multibeam Pulsar Survey – II. Discovery and timing of 120 pulsars

✍ D. J. Morris; G. Hobbs; A. G. Lyne; I. H. Stairs; F. Camilo; R. N. Manchester; A 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 490 KB

The Saga of Synchronous Bus Arbiter: On

The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs

✍ Paritosh K. Pandya 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 182 KB

Quantified Discrete-time Duration Calculus, (QDDC), is a form of interval temporal logic [14]. It is well suited to specify quantitative timing properties of synchronous systems. An automata theoretic decision procedure for QDDC allows converting a QDDC formula into a finite state automaton recognis