Sciweavers

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