742 search results - page 5 / 149 » Set-based Concurrent Engineering |
117
Voted
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
130
Voted
ISSTA
1996
ACM
15 years 10 months ago
1996
ACM
116
Voted
SIGSOFT
2008
ACM
15 years 5 months ago
2008
ACM
133
Voted
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
184
Voted
C3S2E
2008
ACM
15 years 7 months ago
2008
ACM
Software systems bridge the gap between information processing needs and available computer hardware. As system requirements grow in complexity and hardware evolves, the gap does ...