Lua
From MaRDI portal
swMATH10207MaRDI QIDQ22173FDOQ22173
Author name not available (Why is that?)
Official website: http://www.lua.org/about.html
Cited In (88)
- Mathematics of big data. Spreadsheets, databases, matrices, and graphs. With a foreword by Charles E. Leiserson
- A coupled analytical-numerical approach for optimal sizing of power inductors
- Compiler Construction
- Tailorable language for behavioral composition and configuration of software components
- From specification to testing: semantics engineering for Lua 5.2
- CScout: a refactoring browser for C
- Efficient virtual machine support of runtime structural reflection
- ALua: Flexibility for parallel programming
- Towards a large-scale scalable adaptive heart model using shallow tree meshes
- Grapham: graphical models with adaptive random walk Metropolis algorithms
- \(S^{4}\): a free electromagnetic solver for layered periodic structures
- A method for robotic grasping based on improved Gaussian mixture model
- Kiss FFT
- ASPIDE
- PICCOLA
- GLUT
- A framework for step-wise explaining how to solve constraint satisfaction problems
- Grapham
- Dhrystone
- BSGP
- AspectS
- Runwien
- PLT Redex
- ALua
- CScout
- S4
- InteGrade
- HBase
- Ribosome Builder
- Luatex
- luatodonotes
- pdfcomment
- DDD
- todonotes
- SWILL
- INGRES
- GraphBLAS
- OpenSceneGraph
- Ruby
- Accumulo
- TWB
- Autograph
- HepMC
- Proteus
- Knotscape
- M++
- WorkflowFM
- DynamoDB
- REXX
- Hamsa
- medInria
- MoMEMta
- RETURNN
- Sockeye
- GeneRank
- moleculaRnetworks
- P3S
- SNOBOL
- zeroin
- VisiCalc
- Vertica
- VoltDB
- Milepost GCC
- BLINC
- APE
- iGROM
- OntoDLV
- SeaLion
- Nevada
- spock
- Frag
- SableCC
- TopoICE
- Ribosome Builder: a software project to simulate the ribosome
- critic: a new program for the topological analysis of solid-state electron densities
- Jiazzi
- Starkiller
- TimSort
- QBFFam
- Jinja2
- Lightroom
- \textit{UG} 4: a novel flexible software system for simulating PDE based models on high performance computers
- Offline drawing of dynamic trees: algorithmics and document integration
- Numerical Methods for Nonlinear Engineering Models
- Application execution management on the integrade opportunistic grid middleware
- Transformation invariant local element size specification
- Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3
- Graphical and incremental type inference. A graph transformation approach
This page was built for software: Lua
