16 search results - page 4 / 4 » LOCKSMITH: Practical static race detection for C |
IPSN
2009
Springer
14 years 2 months ago
2009
Springer
We consider a scenario in which there are resources at or near nodes of a network, which are either static (e.g. fire stations, parking spots) or mobile (e.g. police cars). Over ...