Sciweavers

20197 search results - page 485 / 4040
» Comparing Computational Power
Sort
View
WIMOB
2009
IEEE
16 years 1 months ago
Investigating Deployment Strategies for Multi-radio Multi-channel Residential Wireless Mesh Networks
— Multi-radio multi-channel Wireless Mesh Networks (WMNs) are being increasingly deployed for broadband provision in enterprise, community, metropolitan and rural areas, due to t...
Bin Huang, Yan He, Dmitri Perkins
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
16 years 14 days ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
DATE
2010
IEEE
111views Hardware» more  DATE 2010»
16 years 21 hour ago
Instruction precomputation with memoization for fault detection
—Fault tolerance (FT) has become a major concern in computing systems. Instruction duplication has been proposed to verify application execution at run time. Two techniques, inst...
Demid Borodin, Ben H. H. Juurlink
ADHOC
2007
126views more  ADHOC 2007»
15 years 7 months ago
Energy-aware routing in sensor networks: A large system approach
In many sensor networking environments, the sensor nodes have limited battery capacity and processing power. Hence, it is imperative to develop solutions that are energy-efficient...
Longbi Lin, Ness B. Shroff, R. Srikant
DAC
2003
ACM
16 years 8 months ago
Checking satisfiability of a conjunction of BDDs
Procedures for Boolean satis ability most commonly work with Conjunctive Normal Form. Powerful SAT techniques based on implications and con icts can be retained when the usual CNF...
Robert F. Damiano, James H. Kukula