340 search results - page 48 / 68 » formats 2009 |
EUROPAR
2009
Springer
14 years 2 months ago
2009
Springer
The size of supercomputers in numbers of processors is growing exponentially. Today’s largest supercomputers have upwards of a hundred thousand processors and tomorrow’s may ha...
FOSAD
2009
Springer
14 years 2 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
MCETECH
2009
Springer
14 years 2 months ago
2009
Springer
Access control rules are currently administered by highly qualified personnel. Thus, the technical barrier that specialized access control languages represent naturally prevents th...
PVM
2009
Springer
14 years 2 months ago
2009
Springer
The MPI datatype functionality provides a powerful tool for describing structured memory and file regions in parallel applications, enabling noncontiguous data to be operated on b...
SG
2009
Springer
14 years 2 months ago
2009
Springer
TagClouds is a popular visualization for the collaborative tags. However it has some instinct problems such as linguistic issues, high semantic density and poor understanding of hi...