Sciweavers

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