These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

95 related articles for article (PubMed ID: 28529345)

  • 1. Compositional schedulability analysis of real-time actor-based systems.
    Jaghoori MM; de Boer F; Longuet D; Chothia T; Sirjani M
    Acta Inform; 2017; 54(4):343-378. PubMed ID: 28529345
    [TBL] [Abstract][Full Text] [Related]  

  • 2. Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
    Foughali M; Zuepke A
    Front Robot AI; 2022; 9():791757. PubMed ID: 35494538
    [TBL] [Abstract][Full Text] [Related]  

  • 3. Genetic algorithm-based neural fuzzy decision tree for mixed scheduling in ATM networks.
    Lin CT; Chung IF; Pu HC; Lee' TH; Chang JY
    IEEE Trans Syst Man Cybern B Cybern; 2002; 32(6):832-45. PubMed ID: 18244889
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Optimal priority assignment for real-time systems: a coevolution-based approach.
    Lee J; Shin SY; Nejati S; Briand LC
    Empir Softw Eng; 2022; 27(6):142. PubMed ID: 35949520
    [TBL] [Abstract][Full Text] [Related]  

  • 5. Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems.
    Daszczuk WB
    Sensors (Basel); 2022 Feb; 22(3):. PubMed ID: 35161901
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions.
    Kunnappilly A; Marinescu R; Seceleanu C
    Sensors (Basel); 2019 Nov; 19(22):. PubMed ID: 31752450
    [TBL] [Abstract][Full Text] [Related]  

  • 7. Scheduling for Emergency Tasks in Industrial Wireless Sensor Networks.
    Xia C; Jin X; Kong L; Zeng P
    Sensors (Basel); 2017 Jul; 17(7):. PubMed ID: 28726738
    [TBL] [Abstract][Full Text] [Related]  

  • 8. Task Migration and Scheduler for Mixed-Criticality Systems.
    Baik J; Lee J; Kang K
    Sensors (Basel); 2022 Mar; 22(5):. PubMed ID: 35271071
    [TBL] [Abstract][Full Text] [Related]  

  • 9. Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.
    Chouhan AP; Banda G
    Sensors (Basel); 2020 Aug; 20(16):. PubMed ID: 32806594
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.
    Zbrzezny AM; Zbrzezny A
    Sensors (Basel); 2022 Dec; 22(23):. PubMed ID: 36502252
    [TBL] [Abstract][Full Text] [Related]  

  • 11. Tight Evaluation of Real-Time Task Schedulability for Processor's DVS and Nonvolatile Memory Allocation.
    Nam SA; Cho K; Bahn H
    Micromachines (Basel); 2019 Jun; 10(6):. PubMed ID: 31163692
    [TBL] [Abstract][Full Text] [Related]  

  • 12. Novel Hybrid Scheduling Technique for Sensor Nodes with Mixed Criticality Tasks.
    Micea MV; Stangaciu CS; Stangaciu V; Curiac DI
    Sensors (Basel); 2017 Jun; 17(7):. PubMed ID: 28672856
    [TBL] [Abstract][Full Text] [Related]  

  • 13. Modeling biological pathway dynamics with timed automata.
    Schivo S; Scholma J; Wanders B; Urquidi Camacho RA; van der Vet PE; Karperien M; Langerak R; van de Pol J; Post JN
    IEEE J Biomed Health Inform; 2014 May; 18(3):832-9. PubMed ID: 24808226
    [TBL] [Abstract][Full Text] [Related]  

  • 14. A deadline constrained scheduling algorithm for cloud computing system based on the driver of dynamic essential path.
    Shao X; Xie Z; Xin Y; Yang J
    PLoS One; 2019; 14(3):e0213234. PubMed ID: 30849102
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Modeling human activity in the spirit of Barabasi's queueing systems.
    Blanchard P; Hongler MO
    Phys Rev E Stat Nonlin Soft Matter Phys; 2007 Feb; 75(2 Pt 2):026102. PubMed ID: 17358389
    [TBL] [Abstract][Full Text] [Related]  

  • 16. starMC: an automata based CTL* model checker.
    Amparore EG; Donatelli S; Gallà F
    PeerJ Comput Sci; 2022; 8():e823. PubMed ID: 35494878
    [TBL] [Abstract][Full Text] [Related]  

  • 17. Automatic selection of verification tools for efficient analysis of biochemical models.
    Bakir ME; Konur S; Gheorghe M; Krasnogor N; Stannett M
    Bioinformatics; 2018 Sep; 34(18):3187-3195. PubMed ID: 29688313
    [TBL] [Abstract][Full Text] [Related]  

  • 18. Scheduling Independent Partitions in Integrated Modular Avionics Systems.
    Chen J; Du C; Han P
    PLoS One; 2016; 11(12):e0168064. PubMed ID: 27942013
    [TBL] [Abstract][Full Text] [Related]  

  • 19. Predicting Intentions of a Familiar Significant Other Beyond the Mirror Neuron System.
    Cacioppo S; Juan E; Monteleone G
    Front Behav Neurosci; 2017; 11():155. PubMed ID: 28890691
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Six Sigma: not for the faint of heart.
    Benedetto AR
    Radiol Manage; 2003; 25(2):40-53. PubMed ID: 12800564
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 5.