Cited in
(32)- SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs
- On automation in the verification of software barriers: experience report
- Symbolic predictive analysis for concurrent programs
- Platform independent dynamic Java virtual machine analysis: the Java Grande Forum benchmark suite
- JESSICA2
- Heterogeneous programming with single operation multiple data
- A fair, secure and trustworthy peer-to-Peer based cycle-sharing system
- Jawa
- JAsCo
- NINJA
- PUNCH
- DaCapo
- A platform-independent distributed runtime for standard multithreaded Java
- Atomizer
- Hypertool
- Polyglot
- AspectS
- Velodrome
- Soot
- Checkfence
- SingleTrack
- BOINC
- A study of potential parallelism among traces in Java programs
- JBoss
- SPEC Benchmarks
- ASM
- Maestro
- scientific article; zbMATH DE number 1756149 (Why is no real title available?)
- Introducing concurrency in sequential Java via laws
- AgentTeamwork: Coordinating grid-computing jobs with mobile agents
- scientific article; zbMATH DE number 1951513 (Why is no real title available?)
- RPython
This page was built for software: Java Grande
