Fortress
From MaRDI portal
swMATH13026MaRDI QIDQ24947FDOQ24947
Author name not available (Why is that?)
Official website: https://projectfortress.java.net/
Cited In (62)
- A user-friendly interface for a lightweight verification system
- OpenSHMEM
- Zabbix
- FeatherTrait
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Dependence analysis for safe futures
- Performance driven distributed scheduling of parallel hybrid computations
- More dependent types for distributed arrays
- An automatic parallelization framework for algebraic computation systems
- Design and evaluation of C++ open multi-methods
- As-if-serial exception handling semantics for Java futures
- Featherweight Java with dynamic and static overloading
- Integrating coercion with subtyping and multiple dispatch
- Elkhound
- SingSurf
- eSkel
- Mantissa
- UPC
- Scala
- VMWare
- Cilk
- Commonloops
- Grace
- Multilisp
- YAFOOL
- Cecil
- SPLASH-2
- CouchDB
- SimpleScalar
- Jolie
- pMatlab
- Nebelung
- ALPBench
- JGroups
- Featherweight Java
- Nepal
- MultiMATLAB
- MPJ Express
- OpenStack
- SugarJ
- NetSketch
- ZooKeeper
- scunac
- Simula 67
- CombBLAS
- GASNet
- MJ
- PPG
- XAJ
- Dylan
- QEMU
- Chapel
- Titan
- Apache Samza
- Airflow
- Conductor
- Implementation of parallel programs interpreter in the development environment ParJava
- Combining traits with boxes and ownership types in a Java-like setting
- Nebelung: Execution environment for transactional openmp
- Whiteoak
- On flexible dynamic trait replacement for Java-like languages
- Executing Java programs with transactional memory
This page was built for software: Fortress
