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.
72 related articles for article (PubMed ID: 28871054)
1. Compositional relaxed concurrency. Batty M Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871054 [TBL] [Abstract][Full Text] [Related]
2. The HACMS program: using formal methods to eliminate exploitable bugs. Fisher K; Launchbury J; Richards R Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871050 [TBL] [Abstract][Full Text] [Related]
3. High-throughput state-machine replication using software transactional memory. Zhao W; Yang W; Zhang H; Yang J; Luo X; Zhu Y; Yang M; Luo C J Supercomput; 2016 Nov; 72(11):4379-4398. PubMed ID: 29075049 [TBL] [Abstract][Full Text] [Related]
4. Position paper: the science of deep specification. Appel AW; Beringer L; Chlipala A; Pierce BC; Shao Z; Weirich S; Zdancewic S Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871056 [TBL] [Abstract][Full Text] [Related]
5. Industrial hardware and software verification with ACL2. Hunt WA; Kaufmann M; Moore JS; Slobodova A Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871049 [TBL] [Abstract][Full Text] [Related]
6. Rubus: A compiler for seamless and extensible parallelism. Adnan M; Aslam F; Nawaz Z; Sarwar SM PLoS One; 2017; 12(12):e0188721. PubMed ID: 29211758 [TBL] [Abstract][Full Text] [Related]
7. Proceedings of the Second Workshop on Theory meets Industry (Erwin-Schrödinger-Institute (ESI), Vienna, Austria, 12-14 June 2007). Hafner J J Phys Condens Matter; 2008 Feb; 20(6):060301. PubMed ID: 21693862 [TBL] [Abstract][Full Text] [Related]
8. Program synthesis: challenges and opportunities. David C; Kroening D Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871052 [TBL] [Abstract][Full Text] [Related]
9. Accelerating Wright-Fisher Forward Simulations on the Graphics Processing Unit. Lawrie DS G3 (Bethesda); 2017 Sep; 7(9):3229-3236. PubMed ID: 28768689 [TBL] [Abstract][Full Text] [Related]
10. Provably trustworthy systems. Klein G; Andronick J; Keller G; Matichuk D; Murray T; O'Connor L Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871053 [TBL] [Abstract][Full Text] [Related]
11. Formal verification: will the seedling ever flower? White N; Matthews S; Chapman R Philos Trans A Math Phys Eng Sci; 2017 Oct; 375(2104):. PubMed ID: 28871051 [TBL] [Abstract][Full Text] [Related]
12. Saturation effects and the concurrency hypothesis: Insights from an analytic model. Miller JC; Slim AC PLoS One; 2017; 12(11):e0187938. PubMed ID: 29136021 [TBL] [Abstract][Full Text] [Related]
13. Towards a Scalable Software Defined Network-on-Chip for Next Generation Cloud. Scionti A; Mazumdar S; Portero A Sensors (Basel); 2018 Jul; 18(7):. PubMed ID: 30021975 [TBL] [Abstract][Full Text] [Related]
15. Optimizing NEURON Simulation Environment Using Remote Memory Access with Recursive Doubling on Distributed Memory Systems. Shehzad D; Bozkuş Z Comput Intell Neurosci; 2016; 2016():3676582. PubMed ID: 27413363 [TBL] [Abstract][Full Text] [Related]
16. Meta-analysis: Problems with Russian Publications. Verbitskaya EV Int J Risk Saf Med; 2015; 27 Suppl 1():S89-90. PubMed ID: 26639728 [TBL] [Abstract][Full Text] [Related]
17. But Everyone is Doing It (Sort of)! Perceived Sexual Risks in the Social Environment and the Impact on Homeless Youth Engagement in Concurrent Sexual Relationships. Hsu HT; Fulginiti A; Rice E; Rhoades H; Winetrobe H; Danforth L AIDS Behav; 2018 Nov; 22(11):3508-3518. PubMed ID: 29725788 [TBL] [Abstract][Full Text] [Related]
18. The ulam Programming Language for Artificial Life. Ackley DH; Ackley ES Artif Life; 2016; 22(4):431-450. PubMed ID: 27824495 [TBL] [Abstract][Full Text] [Related]
19. Concurrency of partnerships, consistency with data, and control of sexually transmitted infections. Leng T; Keeling MJ Epidemics; 2018 Dec; 25():35-46. PubMed ID: 29798812 [TBL] [Abstract][Full Text] [Related]
20. Vivaldi: A Domain-Specific Language for Volume Processing and Visualization on Distributed Heterogeneous Systems. Choi H; Choi W; Quan TM; Hildebrand DG; Pfister H; Jeong WK IEEE Trans Vis Comput Graph; 2014 Dec; 20(12):2407-16. PubMed ID: 26356955 [TBL] [Abstract][Full Text] [Related] [Next] [New Search]