Sciweavers

5005 search results - page 338 / 1001
» The Design and Analysis of Parallel Algorithms
Sort
View
BIRTHDAY
2007
Springer
15 years 9 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
ICC
2008
IEEE
119views Communications» more  ICC 2008»
15 years 11 months ago
Diversity Analysis of coded SVD Schemes for MIMO Spatial Multiplexing Systems
— When channel state information (CSI) is available at both transmit and receive sides, singular value decomposition (SVD) converts the MIMO channel into parallel subchannels. It...
Kyoung-Jae Lee, Inkyu Lee
ICCAD
2005
IEEE
168views Hardware» more  ICCAD 2005»
16 years 1 months ago
Statistical timing analysis driven post-silicon-tunable clock-tree synthesis
— Process variations cause significant timing uncertainty and yield degradation in deep sub-micron technologies. A solution to counter timing uncertainty is post-silicon clock t...
Jeng-Liang Tsai, Lizheng Zhang
TCIAIG
2010
14 years 11 months ago
The Design of Puzzle Selection Strategies for ESP-Like GWAP Systems
The `Games With A Purpose' (GWAP) genre is a type of `Human Computation' that outsources certain steps of the computational process to humans. Although most GWAP studies ...
Ling-Jyh Chen, Bo-Chun Wang, Wen-Yuan Zhu
166
Voted
ITCC
2005
IEEE
15 years 10 months ago
Simulation of Mobility and Routing in Ad Hoc Networks using Ant Colony Algorithms
Mobile Ad-hoc Networks (MANET’s) have recently attracted a lot of attention in the research community as well as the industry. This technology has become increasingly important ...
Tarek H. Ahmed