Sciweavers

1620 search results - page 9 / 324
» An Annotation-Based Framework for Parallel Computing
Sort
View
CONCUR
2009
Springer
15 years 11 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
IPPS
2007
IEEE
15 years 10 months ago
Performance scalability of the JXTA P2P framework
Gabriel Antoniu, Loïc Cudennec, Mathieu Jan, ...