- Alvaro E. Campos, Dionel A. Suazo:
Data-race and concurrent-write freedom are undecidable. 1-13
- Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft:
Bidirectional data flow analysis for type inferencing. 15-44
- Justin T. Maris, Matthew D. Roper, Ronald A. Olsson:
DesCaRTeS: a run-time system with SR-like functionality for programming a network of embedded systems. 75-100
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.