Relevant bibliographies by topics / Speed independent

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Speed independent'

Author: Grafiati
Published: 4 June 2021
Last updated: 3 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Speed independent.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Speed independent"

1

Edwards, Mark, David R. Badcock, and Andrew T. Smith. "Independent speed-tuned global-motion systems." Vision Research 38, no. 11 (June 1998): 1573–80. http://dx.doi.org/10.1016/s0042-6989(97)00353-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kondratyev, A., J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev. "Logic decomposition of speed-independent circuits." Proceedings of the IEEE 87, no. 2 (1999): 347–62. http://dx.doi.org/10.1109/5.740027.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gimmon, Yoav, Hisham Rashad, Ilan Kurz, Meir Plotnik, Raziel Riemer, Ronen Debi, Amir Shapiro, and Itshak Melzer. "Gait Coordination Deteriorates in Independent Old-Old Adults." Journal of Aging and Physical Activity 26, no. 3 (July 1, 2018): 382–89. http://dx.doi.org/10.1123/japa.2017-0120.

Full text
Abstract:
Human gait is symmetric and bilaterally coordinated in young healthy persons. In this study, we aimed to explore the differences in bilateral coordination of gait as measured by the phase coordination index (PCI), gait asymmetry, and stride time variability of gait between four age groups. A total of 44 older adults were recruited: nine young-old (age 70–74 years), 26 old (age 75–84 years), nine old-old (>85 years and older), and 13 young adults (age 20–30 years). Subjects walked on a treadmill; walking speed was systematically increased from 0.5 to 0.9 m/s in steps of 0.1 m/s. There were marginal effects of age on PCI, significant main effects of walking speeds without interaction between walking speeds and age group. A difference in PCI could distinguish between young’s and late aging group, and only during their preferred treadmills walking speed. This study explicitly shows that bilateral coordination of walking is modified by gait speed, and deteriorates only at a very old age.
APA, Harvard, Vancouver, ISO, and other styles
4

Al-Smadi, Takialddin A., and Yasir K. Ibrahim . "Design of Speed Independent Ripple Carry Adder." Journal of Applied Sciences 7, no. 6 (March 1, 2007): 848–54. http://dx.doi.org/10.3923/jas.2007.848.854.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Braddick, Oliver, Rory Trevelyan-Thomas, and Catherine Manning. "CAN SPEED BE JUDGED INDEPENDENT OF DIRECTION?" Journal of Vision 17, no. 10 (August 31, 2017): 936. http://dx.doi.org/10.1167/17.10.936.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Weih, D. T., and M. R. Greenstreet. "Verification of speed-independent data-path circuits." IEE Proceedings - Computers and Digital Techniques 143, no. 5 (1996): 295. http://dx.doi.org/10.1049/ip-cdt:19960703.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

DEL POZO, GONZALO BAILADOR, CARMEN SÁNCHEZ-ÁVILA, ALBERTO DE-SANTOS-SIERRA, and JAVIER GUERRA-CASANOVA. "SPEED-INDEPENDENT GAIT IDENTIFICATION FOR MOBILE DEVICES." International Journal of Pattern Recognition and Artificial Intelligence 26, no. 08 (December 2012): 1260013. http://dx.doi.org/10.1142/s0218001412600130.

Full text
Abstract:
Due to the intensive use of mobile phones for different purposes, these devices usually contain confidential information which must not be accessed by another person apart from the owner of the device. Furthermore, the new generation phones commonly incorporate an accelerometer which may be used to capture the acceleration signals produced as a result of owner's gait. Nowadays, gait identification in basis of acceleration signals is being considered as a new biometric technique which allows blocking the device when another person is carrying it. Although distance based approaches as Euclidean distance or dynamic time warping have been applied to solve this identification problem, they show difficulties when dealing with gaits at different speeds. For this reason, in this paper, a method to extract an average template from instances of the gait at different velocities is presented. This method has been tested with the gait signals of 34 subjects while walking at different motion speeds (slow, normal and fast) and it has shown to improve the performance of Euclidean distance and classical dynamic time warping.
APA, Harvard, Vancouver, ISO, and other styles
8

Manning, Catherine, Rory Trevelyan Thomas, and Oliver Braddick. "Can speed be judged independent of direction?" Journal of Vision 18, no. 6 (June 22, 2018): 15. http://dx.doi.org/10.1167/18.6.15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kondratyev, A., M. Kishinevsky, and A. Yakovlev. "Hazard-free implementation of speed-independent circuits." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17, no. 9 (1998): 749–71. http://dx.doi.org/10.1109/43.720313.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Seger, C. J. "On the existence of speed-independent circuits." Theoretical Computer Science 86, no. 2 (September 1991): 343–64. http://dx.doi.org/10.1016/0304-3975(91)90024-v.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Speed independent"

1

Li, Yu. "Redressing timing issues for speed-independent circuits in deep sub-micron age." Thesis, University of Newcastle Upon Tyne, 2012. http://hdl.handle.net/10443/1793.

Full text
Abstract:
With continued advancement in semiconductor manufacturing tech- nologies, process variations become more and more severe. These variations not only impair circuit performance but may also cause po- tential hazards in integrated circuits (IC). Asynchronous IC design, which does not rely on the use of an explicit clock, is more robust to process variations compared to synchronous design and is suggested to be a promising design approach in deep-submicron age, especially for low-power or harsh environment applications. However, the correctness of asynchronous circuits is also becoming challenged by the shrinking technology. The increased wire delays compared to gate delays and threshold variations could bring glitches into the circuit. This work proposes a method to generate a set of su cient timing constraints for a given speed-independent circuit to work correctly when the isochronic fork timing assumption is lifted into a weaker timing assumption. The complexity of the entire process is polyno- mial to the number of gates. The generated timing constraints are relative orderings between the transition events at the input of each gate and the circuit is guaranteed to work correctly by ful lling these constraints under the timing assumption. The benchmarks show that both the number of total constraints and the constraints that are only needed to eliminate strong adversary paths are reduced by around 40% compared to those suggested in the current literature, thus claiming the weakest formally proved condi- tions.
APA, Harvard, Vancouver, ISO, and other styles
2

Hurrell, Michael J. "Shroud Effects on Load-independent Power Loss of High-speed Rotorcraft Gearing." Cleveland State University / OhioLINK, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=csu1588885945866605.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Beaven, Robert William. "The application of H∞ controller synthesis to high speed independent drive systems." Thesis, Aston University, 1995. http://publications.aston.ac.uk/15278/.

Full text
Abstract:
This thesis describes work completed on the application of H controller synthesis to the design of controllers for single axis high speed independent drive design examples. H controller synthesis was used in a single controller format and in a self-tuning regulator, a type of adaptive controller. Three types of industrial design examples were attempted using H controller synthesis, both in simulation and on a Drives Test Facility at Aston University. The results were benchmarked against a Proportional, Integral and Derivative (PID) with velocity feedforward controller (VFF), the industrial standard for this application. An analysis of the differences between a H and PID with VFF controller was completed. A direct-form H controller was determined for a limited class of weighting function and plants which shows the relationship between the weighting function, nominal plant and the controller parameters. The direct-form controller was utilised in two ways. Firstly it allowed the production of simple guidelines for the industrial design of H controllers. Secondly it was used as the controller modifier in a self-tuning regulator (STR). The STR had a controller modification time (including nominal model parameter estimation) of 8ms. A Set-Point Gain Scheduling (SPGS) controller was developed and applied to an industrial design example. The applicability of each control strategy, PID with VFF, H, SPGS and STR, was investigated and a set of general guidelines for their use was determined. All controllers developed were implemented using standard industrial equipment.
APA, Harvard, Vancouver, ISO, and other styles
4

Wist, Dominic, Mark Schaefer, Walter Vogler, and Ralf Wollowski. "STG decomposition : internal communication for SI implementability." Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4078/.

Full text
Abstract:
STG decomposition is a promising approach to tackle the complexity problems arising in logic synthesis of speed independent circuits, a robust asynchronous (i.e. clockless) circuit type. Unfortunately, STG decomposition can result in components that in isolation have irreducible CSC conflicts. Generalising earlier work, it is shown how to resolve such conflicts by introducing internal communication between the components via structural techniques only.
STG-Dekomposition ist ein bewährter Ansatz zur Bewältigung der Komplexitätsprobleme bei der Logiksynthese von SI (speed independent) Schaltungen – ein robuster asynchroner (d.h. ohne Taktsignal arbeitender digitaler) Schaltungstyp. Allerdings können dabei Komponenten mit irreduziblen CSC-Konflikten entstehen. Durch Verallgemeinerung früherer Arbeiten wird gezeigt, wie solche Konflikte durch Einführung interner Kommunikation zwischen den Komponenten gelöst werden können, und zwar ausschließlich durch Verwendung an der Graphenstruktur ansetzender Verfahren.
APA, Harvard, Vancouver, ISO, and other styles
5

Sackey, Isaac [Verfasser], Klaus [Gutachter] Petermann, Nick [Gutachter] Doran, and Ronald [Gutachter] Freund. "Kerr nonlinearity compensation using polarization-independent fiber-based optical parametric amplifier in high-speed optical transmission systems / Isaac Sackey ; Gutachter: Klaus Petermann, Nick Doran, Ronald Freund." Berlin : Technische Universität Berlin, 2016. http://d-nb.info/1153013150/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Hofírek, Michal. "Modelování tlakových pulsací v potrubí." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2017. http://www.nusl.cz/ntk/nusl-318683.

Full text
Abstract:
This diploma thesis deals with problem of water hammer in pipes affected by viscoelastic behavior of pipe material. Mathematical model uses pressure dependent speed of sound in water air mixture. For purpose of numerical solution the Method of Characteristics with independent time step is introduced. This method is compared with commonly used methods such as Method of Characteristics (MOC) and Lax Wendroff scheme. Derived model, solved with Method of Characteristics with independent time step, is verified with experimental simulation.
APA, Harvard, Vancouver, ISO, and other styles
7

Leo, Angela A. "A numerical approach to calculating population spreading speed." Link to electronic thesis, 2007. http://www.wpi.edu/Pubs/ETD/Available/etd-040207-193250/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lopušek, Dávid. "Sportovní vozidlo pro handicapované osoby." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2014. http://www.nusl.cz/ntk/nusl-231446.

Full text
Abstract:
The master thesis deals with the engineering design and realization of a sports electric vehicle for disabled people. The first part of thesis summarize competitive vehicles on market and also the necessary theoretical knowledge for the design phase. After analyzing the research and determine the resulting vehicle concept follows the draft design. In this section based on calculations was chosen the solutions and necessary components for a vehicle. The following section describes the structure of the vehicle in implementing selected components. In conclusion, the evaluation of the proposed solution.
APA, Harvard, Vancouver, ISO, and other styles
9

Burns, Daniel James. "A system dynamics approach to user independence in high speed atomic force microscopy." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/61594.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2010.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. 135-146).
As progress in molecular biology and nanotechnology continues, demand for rapid and high quality image acquisition has increased to the point where the limitations of atomic force microscopes (AFM) become impediments to further discovery. Many biological processes of interest occur on time scales faster than the observation capability of conventional AFMs, which are typically limited to imaging rates on the order of minutes. Imaging at faster scan rates excite resonances in the mechanical scanner that can distort the image, thereby preventing higher speed imaging. Although traditional robust feedforward controllers and input shaping have proven effective at minimizing the influence of scanner distortions, the lack of direct measurement and use of model-based controllers has required disassembling the microscope to access lateral motion with external sensors in order to perform a full system identification experiment, which places excessive demands on routine microscope operators. This work represents a new way to characterize the lateral scanner dynamics without addition of lateral sensors, and shape the commanded input signals in such a way that disturbing dynamics are not excited in an automatic and user-independent manner. Scanner coupling between the lateral and out-of-plane directions is exploited and used to build a minimal model of the scanner that is also sufficient to describe the source of the disturbances. This model informs the design of an online input shaper used to suppress components of the high speed command signals. The method presented is distinct from alternate approaches in that neither an information-complete system identification experiment, nor microscope modification are required. This approach has enabled an increase in the scan rates of unmodified commercial AFMs from 1-4 lines/second to over 100 lines/second and has been successfully applied to a custom-built high speed AFM, unlocking scan rates of over 1,600 lines/second. Images from this high speed AFM have been taken at more than 10 frames/second. Additionally, bulky optical components for sensing cantilever deflection and low bandwidth actuators constrain the AFM's potential observations, and the increasing instrument complexity requires operators skilled in optical alignment and controller tuning. Recent progress in MEMS fabrication has allowed the development of a new type of AFM cantilever with an integrated sensor and actuator. Such a fully instrumented cantilever enables direct measurement and actuation of the cantilever motion and interaction with the sample, eliminating the need for microscope operators to align the bulky optical components. This technology is expected to not only allow for high speed imaging but also the miniaturization of AFMs and expand their use to new experimental environments. Based on the complexity of these integrated MEMS devices, a thorough understanding of their behavior and a specialized controls approach is needed to guide non-expert users in their operation and extract high performance. The intrinsic properties of such MEMS cantilevers are investigated, and a combined approach is developed for sensing and control, optimized for high speed detection and actuation.
by Daniel J. Burns.
Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
10

Paditz, Ludwig. "Abschätzungen der Konvergenzgeschwindigkeit im zentralen Grenzwertsatz." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-112958.

Full text
Abstract:
Der Beitrag stellt eine Verallgemeinerung der Ergebnisse dar, die in den Informationen/07; 1976,05 veröffentlicht wurden. Sei F_n(x) die Verteilungsfunktion der Summe X_1+X_2+...+X_n, wobei X_1, X_2, ...,X_n unabhängige und nicht notwendig identisch verteilte Zufallsgrößen mit endlichen absoluten Momenten c_m, m>2, sind, und sei Phi die standardisierte Normalverteilungsfunktion. Es werden absolute Konstanten L_m derart berechnet, dass wir Fehlerabschätzungen im unleichmäßigen zentralen Grenzwertsatz explizit angeben können. Als Spezialfall ergibt sich die ungleichmäßige Fehlerschranke von A.BIKELIS (1966) im Fall der Existenz dritter absoluter Momente. Weiterhin werden Grenzwertsätze unter Voraussetzung einseitiger Momente betrachtet. Es werden einige Literaturhinweise angegeben
The paper is a generalization of the results, published by the author in Informationen/07; 1976,05. Let F_n(x) be the cdf of X_1+X_2+...+X_n, where X_1, X_2, ...,X_n are non iid random variables with m-th absolute moment c_m, m>2, and Phi the cdf of the unit normal law. Explicit universal constants L_m are computed such that we have some error estimates in the nonuniform central limit theorem. A special case is the nonuniform error bound by A.BIKELIS (1966) in the case of existence of third absolute moments. Furthermore limit theorems with assumption of onesided moments are considered. Some references are given
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Speed independent"

1

Trace theory for automatic hierarchical verification of speed-independent circuits. Cambridge, Mass: MIT Press, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Beaven, Robert William. The application of H controller synthesis to high speed independent drive systems. Birmingham: Aston University. Department of Mechanical and Electrical Engineering, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

New Jersey. Legislature. Senate. Law and Public Safety Committee. Public hearing before Senate Law and Public Safety Committee: Senate resolution no. 86 (memorializes the President and Congress to appoint a special or independent prosecutor to investigate the Occhipinti case and conduct an investigation of Dominican crime operations). Trenton, N.J: The Committee, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

R, Riccio J., McDonnell Douglas Astronautics Company--Houston Division., and United States. National Aeronautics and Space Administration., eds. Independent Orbiter assessment: Analysis of the rudder/speed brake subsystem. Houston, Tex: McDonnell Douglas Astronautics Company, Houston Division, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. MIT Press, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Dill, David L. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. The MIT Press, 1989. http://dx.doi.org/10.7551/mitpress/6874.001.0001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Independent Orbiter assessment: Assessment of the rudder/speed brake subsystem FMEA/CIL. Houston, Tex: McDonnell Douglas Astronautics Company, Houston Division, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

(Firm), Texas TGV, and Charles River Associates, eds. Independent ridership and passenger revenue projections for the Texas TGV Corporation high speed rail system in Texas: Final report. San Antonio, Tex: Independent Ridership Study, Texas TGV Corporation, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

United States. National Aeronautics and Space Administration. Scientific and Technical Information Division., ed. Effects of independent variation of Mach and Reynolds numbers on the low-speed aerodynamic characteristics of the NACA 0012 airfoil section. [Washington, DC]: National Aeronautics and Space Administration, Scientific and Technical Information Division, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Wittman, David M. Galilean Relativity. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199658633.003.0003.

Full text
Abstract:
Galilean relativity is a useful description of nature at low speed. Galileo found that the vertical component of a projectile’s velocity evolves independently of its horizontal component. In a frame that moves horizontally along with the projectile, for example, the projectile appears to go straight up and down exactly as if it had been launched vertically. The laws of motion in one dimension are independent of any motion in the other dimensions. This leads to the idea that the laws of motion (and all other laws of physics) are equally valid in any inertial frame: the principle of relativity. This principle implies that no inertial frame can be considered “really stationary” or “really moving.” There is no absolute standard of velocity (contrast this with acceleration where Newton’s first law provides an absolute standard). We discuss some apparent counterexamples in everyday experience, and show how everyday experience can be misleading.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Speed independent"

1

Sparsø, Jens, and Steve Furber. "Speed-Independent Control Circuits." In Principles of Asynchronous Circuit Design, 81–113. Boston, MA: Springer US, 2001. http://dx.doi.org/10.1007/978-1-4757-3385-3_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Badouel, Eric, Luca Bernardinello, and Philippe Darondeau. "Design of Speed Independent Circuits." In Petri Net Synthesis, 319–25. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-47967-4_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Yenigun, Husnu, Vladimir Levin, Doron Peled, and Peter A. Beerel. "Hazard—Freedom Checking in Speed—Independent Systems." In Lecture Notes in Computer Science, 317–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48153-2_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Mickiewicz, Tomasz. "Privatization: The Trade-Offs between Speed, Efficiency and Distribution." In Economic Transition in Central Europe and the Commonwealth of Independent States, 64–82. London: Palgrave Macmillan UK, 2005. http://dx.doi.org/10.1057/9780230504349_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fulp, Errin W. "An Independent Function-Parallel Firewall Architecture for High-Speed Networks (Short Paper)." In Information and Communications Security, 292–301. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11935308_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Kishinevsky, Michael, and Jørgen Staunstrup. "Mechanized verification of speed-independence." In Theorem Provers in Circuit Design, 146–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59047-1_47.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Walrand, Jean. "Digital Link—B." In Probability in Electrical Engineering and Computer Science, 143–62. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-49995-2_8.

Full text
Abstract:
AbstractChapter 7 explained the detection and hypothesis testing problems, Huffman codes and the situation where errors are independent and Gaussian. In this chapter, we prove the optimality of the Huffman code in Sect. 8.1 and the Neyman–Pearson Theorem in Sect. 8.2. Section 8.3 discusses the theory of jointly Gaussian random variables that is used to analyze the modulation schemes of Sect. 7.5 . Section 8.4 uses the results on jointly Gaussian random variables to explain hypothesis tests that arise when analyzing data. That section discusses the chi-squared test and the F-test. Section 8.5 is devoted to the LDPC codes that are widely used in high-speed communication links. These codes augment a group of bits to be transmitted over a noisy channel with additional bits computed from those in the group. When it receives the bits, when the augmented bits are not consistent, the receiver attempts to determine the bits that are most likely to have been corrupted by noise.
APA, Harvard, Vancouver, ISO, and other styles
8

Baumeister, Jan, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, and César Sánchez. "A Temporal Logic for Asynchronous Hyperproperties." In Computer Aided Verification, 694–717. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_33.

Full text
Abstract:
AbstractHyperproperties are properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a trace property defines a set of traces, a hyperproperty defines a set of sets of traces. The temporal logics HyperLTL and HyperCTL* have been proposed to express hyperproperties. However, their semantics are synchronous in the sense that all traces proceed at the same speed and are evaluated at the same position. This precludes the use of these logics to analyze systems whose traces can proceed at different speeds and allow that different traces take stuttering steps independently. To solve this problem in this paper, we propose an asynchronous variant of HyperLTL. On the negative side, we show that the model-checking problem for this variant is undecidable. On the positive side, we identify a decidable fragment which covers a rich set of formulas with practical applications. We also propose two model-checking algorithms that reduce our problem to the HyperLTL model-checking problem in the synchronous semantics.
APA, Harvard, Vancouver, ISO, and other styles
9

"Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits." In Advanced Research in VLSI. The MIT Press, 1988. http://dx.doi.org/10.7551/mitpress/1102.003.0006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

"Introduction." In Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. The MIT Press, 1989. http://dx.doi.org/10.7551/mitpress/6874.003.0005.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Speed independent"

1

Stepchenkov, Y. A., V. N. Zakharov, Y. V. Rogdestvenski, Y. G. Diachenko, N. V. Morozov, and D. Y. Stepchenkov. "Speed-independent floating point coprocessor." In 2015 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2015. http://dx.doi.org/10.1109/ewdts.2015.7493110.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Stepchenkov, Y. A., V. N. Zakharov, Y. G. Diachenko, N. V. Morozov, and D. Y. Stepchenkov. "Cell library for speed-independent VLSI." In 2015 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2015. http://dx.doi.org/10.1109/ewdts.2015.7493111.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Wang, Shifeng, Rami Khushaba, and Sarath Kodagoda. "Towards speed-independent road-type classification." In 2012 12th International Conference on Control Automation Robotics & Vision (ICARCV 2012). IEEE, 2012. http://dx.doi.org/10.1109/icarcv.2012.6485228.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Kondratyev, Alex, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, and Alex Yakovlev. "Basic gate implementation of speed-independent circuits." In the 31st annual conference. New York, New York, USA: ACM Press, 1994. http://dx.doi.org/10.1145/196244.196275.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kortenbout, A. Jorinde, Lana B. H. Keijzer, Nico de Jong, Johan G. Bosch, and Hendrik J. Vos. "Direction-independent bulk shear wave speed in 3D." In 2019 IEEE International Ultrasonics Symposium (IUS). IEEE, 2019. http://dx.doi.org/10.1109/ultsym.2019.8925636.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Stepchenkov, Yuri, Victor Zakharov, Yuri Rogdestvenski, Yuri Diachenko, Nickolaj Morozov, and Dmitri Stepchenkov. "Speed-independent fused multiply add and subtract unit." In 2016 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2016. http://dx.doi.org/10.1109/ewdts.2016.7807735.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Senge, M. "High speed film scanning: resolution independent film-mastering." In International Broadcasting Convention (IBC). IEE, 1996. http://dx.doi.org/10.1049/cp:19960838.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Toms, W. B., and D. A. Edwards. "Efficient synthesis of speed-independent combinational logic circuits." In the 2005 conference. New York, New York, USA: ACM Press, 2005. http://dx.doi.org/10.1145/1120725.1120782.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kondratyev, Alex, Michael Kishinevsky, and Alex Yakovlev. "On hazard-free implementation of speed-independent circuits." In the 1995 conference. New York, New York, USA: ACM Press, 1995. http://dx.doi.org/10.1145/224818.224905.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Beerel and Meng. "Automatic gate-level synthesis of speed-independent circuits." In IEEE/ACM International Conference on Computer-Aided Design. IEEE Comput. Soc. Press, 1992. http://dx.doi.org/10.1109/iccad.1992.279309.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Speed independent"

1

Olsen, T., E. Lang, A. C. Hansen, M. C. Cheney, G. Quandt, J. VandenBosche, and T. Meyer. Low Wind Speed Turbine Project Conceptual Design Study: Advanced Independent Pitch Control; July 30, 2002--July 31, 2004 (Revised). Office of Scientific and Technical Information (OSTI), December 2004. http://dx.doi.org/10.2172/15015117.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lewis, Michael E., Donald M. Maffei, and Michael M. Schutte. Design of an Advanced Development Model Optical Disk-Based Redundant Array of Independent Disks (RAID) High Speed Mass Storage Subsystem. Fort Belvoir, VA: Defense Technical Information Center, October 1997. http://dx.doi.org/10.21236/ada341320.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lehtimaki, Susanna, Kassim Nishtar, Aisling Reidy, Sara Darehshori, Andrew Painter, and Nina Schwalbe. Independent Review and Investigation Mechanisms to Prevent Future Pandemics: A Proposed Way Forward. United Nations University International Institute for Global Health, May 2021. http://dx.doi.org/10.37941/pb-f/2021/2.

Full text
Abstract:
Based on the proposal by the European Council, more than 25 heads of state and the World Health Organization (WHO) support development of an international treaty on pandemics, that planned to be negotiated under the auspices of WHO, will be presented to the World Health Assembly in May 2021. Given that the treaty alone is not enough to ensure compliance, triggers for a high-level political response is required. To this end, to inform the design of a support system, we explored institutional mechanismsi with a mandate to review compliance with key international agreements in their signatory countries and conduct independent country investigations in a manner that manages sovereign considerations. Based on our review, there is no single global mechanism that could serve as a model in its own right. There is, however, potential to combine aspects of existing mechanisms to support a strong, enforceable treaty. These aspects include: • Periodic review - based on the model of human rights treaties, with independent experts as the authorized monitoring body to ensure the independence. If made obligatory, the review could support compliance with the treaty. • On-site investigations - based on the model by the Committee on Prevention of Torture according to which visits cannot be blocked by state parties. • Non-negotiable design principles - including accountability; independence; transparency and data sharing; speed; emphasis on capabilities; and incentives. • Technical support - WHO can provide countries with technical assistance, tools, monitoring, and assessment to enhance emergency preparedness and response.
APA, Harvard, Vancouver, ISO, and other styles
4

Lehtimaki, Susanna, Aisling Reidy, Kassim Nishtar, Sara Darehschori, Andrew Painter, and Nina Schwalbe. Independent Review and Investigation Mechanisms to Prevent Future Pandemics: A Proposed Way Forward. United Nations University International Institute for Global Health, April 2021. http://dx.doi.org/10.37941/rr/2021/1.

Full text
Abstract:
The COVID-19 pandemic has created enormous challenges for national economies, livelihoods, and public services, including health systems. In January 2021, the World Health Organization proposed an international treaty on pandemics to strengthen the political commitment towards global pandemic preparedness, control, and response. The plan is to present a draft treaty to the World Health Assembly in May 2021. To inform the design of a support system for this treaty, we explored existing mechanisms for periodic reviews conducted either by peers or an external group as well as mechanisms for in-country investigations, conducted with or without country consent. Based on our review, we summarized key design principles requisite for review and investigation mechanisms and explain how these could be applied to pandemics preparedness, control, and response in global health. While there is no single global mechanism that could serve as a model in its own right, there is potential to combine aspects of existing mechanisms. A Universal Periodic Review design based on the model of human rights treaties with independent experts as the authorized monitoring body, if made obligatory, could support compliance with a new pandemic treaty. In terms of on-site investigations, the model by the Committee on Prevention of Torture could lend itself to treaty monitoring and outbreak investigations on short notice or unannounced. These mechanisms need to be put in place in accordance with several core interlinked design principles: compliance; accountability; independence; transparency and data sharing; speed; emphasis on capabilities; and incentives. The World Health Organization can incentivize and complement these efforts. It has an essential role in providing countries with technical support and tools to strengthen emergency preparedness and response capacities, including technical support for creating surveillance structures, integrating non-traditional data sources, creating data governance and data sharing standards, and conducting regular monitoring and assessment of preparedness and response capacities.
APA, Harvard, Vancouver, ISO, and other styles
5

Low Wind Speed Technology Phase I: Advanced Independent Pitch Control; Advanced Energy System, Inc. Office of Scientific and Technical Information (OSTI), March 2006. http://dx.doi.org/10.2172/878480.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Speed independent' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography