Sciweavers

17582 search results - page 239 / 3517
» From Distributed Sequential Computing to Distributed Paralle...
Sort
View
IPPS
2009
IEEE
15 years 10 months ago
Energy benefits of reconfigurable hardware for use in underwater sensor nets
Bridget Benson, Ali Irturk, Junguk Cho, Ryan Kastn...
104
Voted
CONCUR
2009
Springer
15 years 10 months ago
A Logic-Based Framework for Reasoning about Composite Data Structures
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...
94
Voted
CONCUR
2009
Springer
15 years 10 months ago
Power of Randomization in Automata on Infinite Strings
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
77
Voted
CONCUR
2009
Springer
15 years 10 months ago
Modeling Radio Networks
Calvin C. Newport, Nancy A. Lynch
CONCUR
2009
Springer
15 years 10 months ago
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
Richard H. G. Garner, Tom Hirschowitz, Auré...