338 results for devs

en.wikipedia.org/wiki/DEVS

DEVS - Wikipedia

evolves. G-DEVS, parallel DEVS, dynamic structuring DEVS, cell-DEVS, dynDEVS, fuzzy-DEVS, GK-DEVS, ml-DEVS, symbolic DEVS, real-time DEVS, rho-DEVS There are

github.com/devspace-sh/devspace

devspace-sh/devspace

DevSpace - The Fastest Developer Tool for Kubernetes ⚡ Automate your deployment workflow with DevSpace and develop software directly inside Kubernetes. (⭐ 4927)

github.com/devsecops/awesome-devsecops

devsecops/awesome-devsecops

An authoritative list of awesome devsecops tools with the help from community experiments and contributions. (⭐ 5338)

www.bing.com/ck/a?!&&p=1a617ddbe35a83809714c8ca926e878513f56b3bd8b0194dbb52019b2fb5b33fJmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=0507bf89-5d4d-6bee-259c-a89c5c8c6aef&u=a1aHR0cHM6Ly93d3cucmVzZXRlcmEuY29tL3RocmVhZHMvaW4tdGhlLWh1bnQtci10eXBlLWRldnMtbWVldC1mdXR1cmUtbWV0YWwtc2x1Zy1kZXZzLXVuZGVyd2F0ZXItZ2V0LWRlcHRoLWNoYXJnZWQtdG8tc2hpdC1hdC10aGUtYm90dG9tLW9mLXRoZS1vY2Vhbi4xNDE4MjQ4Lw&ntb=1

R-Type devs meet future Metal Slug devs underwater - ResetEra

Jan 28, 2026 · In The Hunt - R-Type devs meet future Metal Slug devs underwater - Get depth-charged to shit at the bottom of the ocean!

www.bing.com/ck/a?!&&p=5d841dd54114c3d7b78820aa7a8d87524fcaa7ce2b59639801af6df6e8ce9faaJmltdHM9MTc3Mjg0MTYwMA&ptn=3&ver=2&hsh=4&fclid=026a0147-43b8-674c-0b78-1652425266d9&u=a1aHR0cHM6Ly93d3cucmVzZXRlcmEuY29tL3RocmVhZHMvaW4tdGhlLWh1bnQtci10eXBlLWRldnMtbWVldC1mdXR1cmUtbWV0YWwtc2x1Zy1kZXZzLXVuZGVyd2F0ZXItZ2V0LWRlcHRoLWNoYXJnZWQtdG8tc2hpdC1hdC10aGUtYm90dG9tLW9mLXRoZS1vY2Vhbi4xNDE4MjQ4Lw&ntb=1

R-Type devs meet future Metal Slug devs underwater - ResetEra

Jan 28, 2026 · In The Hunt - R-Type devs meet future Metal Slug devs underwater - Get depth-charged to shit at the bottom of the ocean!

arxiv.org/abs/1802.04527v1

Extending the DEVS Formalism with Initialization Information

DEVS is a popular formalism to model system behaviour using a discrete-event abstraction. The main advantages of DEVS are its rigourous and precise specification, as well as its support for modular, hierarchical construction of models. DEVS frequentl...

arxiv.org/abs/2409.18732v3

Verification of Quantitative Temporal Properties in RealTime-DEVS

Real-Time DEVS (RT-DEVS) can model systems with quantitative temporal requirements. Ensuring that such models verify that kind of temporal properties requires to use something beyond simulation. In this work we use the model checker Uppaal to verify...

github.com/flutterph/devs

flutterph/devs

DEVS: Developer Board and Jobs Listing | For Developers, By Developers (⭐ 37)

github.com/N4si/DevSecOps-Project

N4si/DevSecOps-Project

DevSecOps Project to setup Netflix clone on AWS using CICD, Security, Monitoring and GitOps (⭐ 514)