Sciweavers

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