Parallelize the Runtime Checks -- Not the Application
Research output: Contribution to conferences › Paper › Contributed
Contributors
Details
| Original language | English |
|---|---|
| Number of pages | 4 |
| Publication status | Published - 2009 |
| Peer-reviewed | No |
Conference
| Title | CAV2009 - Workshop on Exploiting Concurrency Efficiently and Correctly ((EC)^2) |
|---|---|
| Abbreviated title | CAV2009 |
| Conference number | |
| Duration | 26 June 2009 |
| Degree of recognition | International event |
| Location | |
| City | Grenoble |
| Country | France |