Sciweavers

7628 search results - page 203 / 1526
» Spatial P systems
Sort
View
DATE
2009
IEEE
151views Hardware» more  DATE 2009»
15 years 10 months ago
pTest: An adaptive testing tool for concurrent software on embedded multicore processors
—More and more processor manufacturers have launched embedded multicore processors for consumer electronics products because such processors provide high performance and low powe...
Shou-Wei Chang, Kun-Yuan Hsieh, Jenq Kuen Lee
PDPTA
2004
15 years 5 months ago
P2P-enhanced Distributed Computing in EM Medical Image Reconstruction
As the algorithms that are used to reconstruct medical images from measurable projection data continue to become mature, medical image reconstruction has remained an interesting a...
Xiang Li, Tao He, Shaowen Wang, Ge Wang, Jun Ni
IANDC
2010
116views more  IANDC 2010»
15 years 2 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
PODS
1999
ACM
133views Database» more  PODS 1999»
15 years 8 months ago
Processing and Optimization of Multiway Spatial Joins Using R-Trees
One of the most important types of query processing in spatial databases and geographic information systems is the spatial join, an operation that selects, from two relations, all...
Dimitris Papadias, Nikos Mamoulis, Yannis Theodori...
SEDE
2008
15 years 5 months ago
Energy-Efficient Processing of Spatial Alarms on Mobile Clients
In this paper we present an energy efficient framework for processing spatial alarms on mobile clients, while maintaining low computation and storage costs. Our approach to spatia...
Ling Liu