Sciweavers

538 search results - page 59 / 108
» Applying Interchangeability Techniques to the Distributed Br...
Sort
View
ICCS
2005
Springer
15 years 8 months ago
Data-Parallel Method for Georeferencing of MODIS Level 1B Data Using Grid Computing
Georeference is a basic function of remote sensing data processing. Geo-corrected remote sensing data is an important source data for Geographic Information Systems (GIS) and other...
Yincui Hu, Yong Xue, Jiakui Tang, Shaobo Zhong, Gu...
CMSB
2006
Springer
15 years 7 months ago
Probabilistic Model Checking of Complex Biological Pathways
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
John Heath, Marta Z. Kwiatkowska, Gethin Norman, D...
TVCG
2010
142views more  TVCG 2010»
15 years 1 months ago
Illustrative Volume Visualization Using GPU-Based Particle Systems
—Illustrative techniques are generally applied to produce stylized renderings. Various illustrative styles have been applied to volumetric data sets, producing clearer images and...
Roy van Pelt, Anna Vilanova, Huub van de Wetering
108
Voted
IPPS
2007
IEEE
15 years 9 months ago
Decomposing Partial Order Execution Graphs to Improve Message Race Detection
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
Basile Schaeli, Sebastian Gerlach, Roger D. Hersch
ICDCSW
2005
IEEE
15 years 9 months ago
Bandwidth Clustering for Reliable and Prioritized Network Routing Using Split Agent-Based Method
Recent researches have highlighted the importance of developing a network with distributed problem solving abilities thus enhancing reliability with equal share of network resourc...
Constandinos X. Mavromoustakis, Helen D. Karatza