Sciweavers

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