Un tour d'horizon des *nombreux* runtimes JavaScript catégorisés par plateforme (navigateur, serveur, IoT, mobile, etc.).

🔗 https://buttondown.com/whatever_jamie/archive/the-many-many-many-javascript-runtimes-of-the-last-decade/

#JavaScript #runtime

#hydropower and #sustainable #technology #water #generator 120 years of continuous #runtime!!!!

not a lot of #technology (especially nowadays) lasts this long!!! if you know of robust technology that lasted over 100 years please comment :D #renewables https://de.wikipedia.org/wiki/Mariazellerbahn

Deno 2.4

https://deno.com/blog/v2.4

#HackerNews #Deno #Deno2.4 #JavaScript #Runtime #WebDevelopment #TechNews

Llega el verano y, como es costumbre, os traigo nuevas películas protagonizadas por tiburones asesinos. 🦈

https://sergiojamon.com/donde-ver-peliculas-tiburones-gratis/

Además, #Sharknado sigue estando al completo y gratis en #Runtime 🌪️👇

https://sergiojamon.com/saga-completa-sharknado-runtime-gratis/

Link: https://mediatum.ub.tum.de/?id=601795 (It took digging to find this from the Wikipedia article [1] and the unsecured HTTP homepage for "BMDFM".)

```bibtex
@phdthesis{dissertation,
author = {Pochayevets, Oleksandr},
title = {BMDFM: A Hybrid Dataflow Runtime Parallelization Environment for Shared Memory Multiprocessors},
year = {2006},
school = {Technische Universität München},
pages = {170},
language = {en},
abstract = {To complement existing compiler-optimization methods we propose a programming model and a runtime system called BMDFM (Binary Modular DataFlow Machine), a novel hybrid parallel environment for SMP (Shared Memory Symmetric Multiprocessors), that creates a data-dependence graph and exploits parallelism of user application programs at run time. This thesis describes the design and provides a detailed analysis of BMDFM, which uses a dataflow runtime engine instead of a plain fork-join runtime library, thus providing transparent dataflow semantics on the top virtual machine level. Our hybrid approach eliminates disadvantages of the parallelization at compile-time, the directive based paradigm and the dataflow computational model. BMDFM is portable and is already implemented on a set of available SMP platforms. The transparent dataflow paradigm does not require parallelization and synchronization directives. The BMDFM runtime system shields the end-users from these details.},
keywords = {Parallel computing;Shared memory multiprocessors;Dataflow;Automatic Parallelization},
note = {},
url = {https://mediatum.ub.tum.de/601795},
}
```

[1]: https://en.wikipedia.org/wiki/Binary_Modular_Dataflow_Machine

#SMP #Parallelization #Multithreading #DependenceGraph #RunTime #DataFlow #VirtualMachine #VM #ParallelComputing #SharedMemoryMultiprocessors #AutomaticParallelization #CrossPlatform #Virtualization #Configware #Transputer

From September 15 to 19, 2025, we’re hosting the 25th International Conference on Runtime Verification (RV 2025) at TU Graz!

The RV series is an annual event that brings together researchers and practitioners from academia and industry who are interested in novel, lightweight formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques play a vital role in ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness compared to conventional testing, while remaining more practical than exhaustive formal verification.

This year’s edition features three co-located workshops - RVmeetsMBD, RVCase, and VASSAL - which will take place on September 15. We are also delighted to welcome an outstanding lineup of keynote speakers: Thomas Henzinger, Nils Jansen, Ankush Desai, and Daniela Micucci.

Find out more: https://rv25.isec.tugraz.at/

#Runtime #Verification #Conference #RV25