Specifying and Verifying Systems With Multiple Clocks

doi 10.1109/iccd.2003.1240872
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

Modelling, Specifying and Verifying Self-Adaptive Systems Instantiating MAPE Patterns

International Journal of Computer Applications in Technology
Electronic EngineeringIndustrialComputer NetworksManufacturing EngineeringCommunicationsComputer Science ApplicationsElectricalInformation SystemsSoftware
2018English

Specifying and Dynamically Verifying Address Translation-Aware Memory Consistency

ACM SIGARCH Computer Architecture News
2010English

Specifying and Verifying Partial Order Properties Using Template MSCs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

FreeSpec: Specifying, Verifying, and Executing Impure Computations in Coq

2020English

Multiple Observations of Quantum Clocks

Physical Review A
2000English

Detecting Global Predicates in Distributed Systems With Clocks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Systems Biology of Mammalian Circadian Clocks

Annual Review of Physiology
Physiology
2010English

Resetting Vector Clocks in Distributed Systems

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
1997English

Relativity Theory and Time Perception: Single or Multiple Clocks?

PLoS ONE
Multidisciplinary
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy