Sciweavers

131 search results - page 11 / 27
» A Computational System for Investigating Chemotaxis-Based Ce...
Sort
View
CONCUR
2000
Springer
15 years 3 months ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
IPPS
2009
IEEE
15 years 6 months ago
Accelerating leukocyte tracking using CUDA: A case study in leveraging manycore coprocessors
The availability of easily programmable manycore CPUs and GPUs has motivated investigations into how to best exploit their tremendous computational power for scientific computing...
Michael Boyer, David Tarjan, Scott T. Acton, Kevin...
SOUPS
2010
ACM
15 years 3 months ago
Folk models of home computer security
Home computer systems are frequently insecure because they are administered by untrained, unskilled users. The rise of botnets has amplified this problem; attackers can compromis...
Rick Wash
SIGMETRICS
2008
ACM
14 years 11 months ago
Traffic capacity of multi-cell WLANS
Performance of WLANs has been extensively studied during the past few years. While the focus has mostly been on isolated cells, the coverage of WLANs is in practice most often rea...
Thomas Bonald, Ali Ibrahim, James Roberts
HOTI
2008
IEEE
15 years 6 months ago
HPP Switch: A Novel High Performance Switch for HPC
The high performance switch plays a critical role in the high performance computer (HPC) system. The applications of HPC not only demand on the low latency and high bandwidth of t...
Dawei Wang, Zheng Cao, Xinchun Liu, Ninghui Sun