Search Results - High Performance Real-Time Java Components

Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5

    Source: Stop Blindness in Coastal Bangladesh: Testing the Effectiveness of Community-Based, Artificial Intelligence-Assisted Eye Disease Screening in Coastal Bangladesh
    GBD 2019 Blindness and Vision Impairment Collaborators; Vision Loss Expert Group of the Global Burden of Disease Study. Causes of blindness and vision impairment in 2020 and trends over 30 years, and prevalence of avoidable blindness in relation to VISION 2020: the Right to Sight: an analysis for the Global Burden of Disease Study. Lancet Glob Health. 2021 Feb;9(2):e144-e160. doi: 10.1016/S2214-109X(20)30489-7. Epub 2020 Dec 1.
    Vision Loss Expert Group of the Global Burden of Disease Study; GBD 2019 Blindness and Vision Impairment Collaborators. Global estimates on the number of people blind or visually impaired by diabetic retinopathy: a meta-analysis from 2000 to 2020. Eye (Lond). 2024 Aug;38(11):2047-2057. doi: 10.1038/s41433-024-03101-5. Epub 2024 Jun 27.
    Haque A, Haider D, Rahman MS, Kabir L, Lejano RP. Building Resilience from the Grassroots: The Cyclone Preparedness Programme at 50. Int J Environ Res Public Health. 2022 Nov 4;19(21):14503. doi: 10.3390/ijerph192114503.

  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12

    Source: End-to-end Digital Transformation for Primary Health Care Performance Management Via Scalable Public Health Empowerment, Research, and Education Sites: A Stepped-Wedge Cluster Randomized Trial

  13. 13
  14. 14

    Source: Constituents of Modern System-safety Thinking. 2005, p211-223. 13p.

  15. 15
  16. 16
  17. 17
  18. 18

    File Description: 19 páginas; application/pdf

    Relation: IEEE Access (Volume 8, 143862-143880, August 2020); 143880; 143862; N/A; IEEE Access; E. Bainomugisha, A. L. Carreton, T. V. Cutsem, S. Mostinckx, and W. D. Meuter, ‘‘A survey on reactive programming,’’ ACM Comput. Surv., vol. 45, no. 4, pp. 52:1–52:34, Aug. 2013, doi:10.1145/2501654.2501666.; L. D. Benavides Navarro, R. Douence, and M. Südholt, ‘‘Debugging and testing middleware with aspect-based control-flow and causal patterns,’’ in Proc. 9th Int. Middleware Conf., Leuven, Belgium: Springer-Verlag, Dec. 2008.; L. D. Benavides Navarro, R. Douence, A. Núñez, and M. Südholt, ‘‘LTSbased semantics and property analysis of distributed aspects and invasive patterns,’’ in Proc. Workshop Aspects, Dependencies Interact., vol. 517, K. U. Leuven, Ed. Belgium, Jul. 2008, pp. 36–45. [Online]. Available: https://hal.archives-ouvertes.fr/hal-00469648; L. D. B. Navarro, C. Pimienta, M. Sanabria, D. Díaz, W. Garzón, W. Melo, and H. Arboleda, ‘‘REAL-T: Time modularization in reactive distributed applications,’’ in Advances in Computing, J. E. Serrano and J. C. Martínez-Santos, Eds. Cham, Switzerland: Springer, 2018, pp. 113–127.; G. Bhat, R. Cleaveland, and G. Lüttgen, ‘‘A practical approach to implementing real-time semantics,’’ Ann. Softw. Eng., vol. 7, no. 1, pp. 127–155, Oct. 1999.; M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott, All About Maude—A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. New York, NY, USA: Springer-Verlag, 2007.; A. Courtney, ‘‘Frappé: Functional reactive programming in Java,’’ in Proc. Int. Symp. Practical Aspects Declarative Lang. Cham, Switzerland: Springer, 2001, pp. 29–44.; F. Durán, C. Rocha, and J. M. Álvarez, ‘‘Towards a maude formal environment,’’ in Formal Modeling: Actors, Open Systems, Biological Systems. Cham, Switzerland: Springer, 2011, pp. 329–351.; C. Elliott and P. Hudak, ‘‘Functional reactive animation,’’ in Proc. 2nd ACM SIGPLAN Int. Conf. Funct. Program. (ICFP), 1997, pp. 263–273. [Online]. Available: http://conal.net/papers/icfp97/; M. Fisher, An Introduction to Practical Formal Methods Using Temporal Logic. Hoboken, NJ, USA: Wiley, 2011.; P. Fontana and R. Cleaveland, ‘‘A menagerie of timed automata,’’ ACM Comput. Surv., vol. 46, no. 3, pp. 40:1–40:56, Jan. 2014, doi:10.1145/2518102.; N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, ‘‘The synchronous data flow programming Language LUSTRE,’’ Proc. IEEE, vol. 79, no. 9, pp. 1305–1320, Sep. 1991.; P. Haller and H. Miller, ‘‘Ray: Integrating RX and ASYNC for direct-style reactive streams,’’ in Proc. Workshop Reactivity, Events Modularity, 2013, pp. 1–7.; J. Magee, Concurrency: State Models & Java Programs. Hoboken, NJ, USA: Wiley, 2006.; A. Margara and G. Salvaneschi, ‘‘On the semantics of distributed reactive programming: The cost of consistency,’’ IEEE Trans. Softw. Eng., vol. 44, no. 7, pp. 689–711, Jul. 2018, doi:10.1109/tse.2018.2833109.; A. Margara and G. Salvaneschi, ‘‘We have a DREAM: Distributed reactive programming with consistency guarantees,’’ in Proc. 8th ACM Int. Conf. Distrib. Event-Based Syst. (DEBS), 2014, pp. 142–153, doi:10.1145/2611286.2611290; F. Mattern, ‘‘Virtual time and global states of distributed systems,’’ Parallel Distrib. Algorithms, vol. 1, no. 23, pp. 215–226, 1989.; J. Meseguer, ‘‘Conditional rewriting logic as a unified model of concurrency,’’ Theor. Comput. Sci., vol. 96, no. 1, pp. 73–155, Apr. 1992.; J. Meseguer, ‘‘Twenty years of rewriting logic,’’ J. Logic Algebraic Program., vol. 81, nos. 7–8, pp. 721–781, 2012. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S1567832612000707; L. A. Meyerovich, A. Guha, J. Baskin, G. H. Cooper, M. Greenberg, A. Bromfield, and S. Krishnamurthi, ‘‘Flapjax: A programming language for ajax applications,’’ ACM SIGPLAN Notices, vol. 44, no. 10, pp. 1–20, 2009.; A. Mosteo, ‘‘RxAda: An Ada implementation of the ReactiveX API,’’ in Reliable Software Technologies—Ada-Europe, J. Blieberger and M. Bader, Eds. Cham, Switzerland: Springer, 2017, pp. 153–166.; F. Myter, C. Scholliers, and W. De Meuter, ‘‘Distributed reactive programming for reactive distributed systems,’’ Art, Sci., Eng. Program., vol. 3, 2019. [Online]. Available: https://programming-journal.org/2019/3/5/; M. Nischt, H. Prendinger, E. André, and M. Ishizuka, ‘‘MPML3D: a reactive framework for the multimodal presentation markup language,’’ in Proc. Int. Workshop Intell. Virtual Agents. Cham, Switzerland: Springer, 2006, pp. 218–229.; P. C. Ölveczky, ‘‘Modeling Distributed Systems in Rewriting Logic,’’ in Designing Reliable Distributed Systems. London, U.K.: Springer, 2017, doi:10.1007/978-1-4471-6687-0.; J. Peterson, P. Hudak, and C. Elliott, ‘‘Lambda in motion: Controlling robots with haskell,’’ in Proc. Int. Symp. Practical Aspects Declarative Lang. Cham, Switzerland: Springer, 1999, pp. 91–105.; G. Roşu, ‘‘From rewriting logic, to programming language semantics, to program verification,’’ in Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer (Lecture Notes in Computer Science), vol. 9200. Cham, Switzerland: Springer, 2015, pp. 598–616.; G. Salvaneschi, A. Margara, and G. Tamburrelli, ‘‘Reactive programming: A walkthrough,’’ in Proc. IEEE/ACM 37th IEEE Int. Conf. Softw. Eng., May 2015, pp. 953–954.; M. Sanabria, W. G. Alfonso, and L. D. B. Navarro, ‘‘Towards realtime semantics for a distributed event-based mop language,’’ in New Trends in Model and Data Engineering, E. H. Abdelwahed, L. Bellatreche, D. Benslimane, M. Golfarelli, S. Jean, D. Mery, K. Nakamatsu, and C. Ordonez, Eds. Cham, Switzerland: Springer, 2018, pp. 231–243.; N. Tabareau, ‘‘A theory of distributed aspects,’’ in Proc. 8th Int. Conf. Aspect-Oriented Softw. Develop. (AOSD), New York, NY, USA, 2010, pp. 133–144, doi:10.1145/1739230.1739246.; A. Voellmy, H. Kim, and N. Feamster, ‘‘Procera: A language for high-level reactive network control,’’ in Proc. 1st Workshop Hot Topics Softw. Defined Netw., 2012, pp. 43–48.; https://repositorio.escuelaing.edu.co/handle/001/1433; https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9144537

  19. 19
  20. 20