Sciweavers

9888 search results - page 119 / 1978
» compute 2009
Sort
View
CONCUR
2009
Springer
16 years 14 days ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
EUROPAR
2009
Springer
16 years 13 days ago
REPAS: Reliable Execution for Parallel ApplicationS in Tiled-CMPs
Daniel Sánchez, Juan L. Aragón, Jos&...
ICCS
2009
Springer
16 years 13 days ago
Hash Functions Based on Large Quasigroups
Václav Snásel, Ajith Abraham, Jiri D...
MEMBRANE
2009
Springer
16 years 13 days ago
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition
Chunxiu Liu, Gexiang Zhang, Hongwen Liu, Marian Gh...