Sciweavers

4763 search results - page 307 / 953
» On the Execution of Deep Models
Sort
View
ICECCS
2010
IEEE
161views Hardware» more  ICECCS 2010»
15 years 7 months ago
Model Checking Round-Based Distributed Algorithms
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
Xin An, Jun Pang
CACM
2006
90views more  CACM 2006»
15 years 6 months ago
Creating an adaptive network of hubs using Schelling's model
Thomas Schelling's model suggests an explanation for the existence of segregated neighborhoods in America. This paper presents a study on utilizing Schelling's model to c...
Atul Singh, Mads Haahr
IJISTA
2007
119views more  IJISTA 2007»
15 years 6 months ago
Online modelling based on Genetic Programming
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
Stephan M. Winkler, Hajrudin Efendic, Luigi del Re...
ISOLA
2010
Springer
15 years 5 months ago
A Memory Model for Static Analysis of C Programs
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
Zhongxing Xu, Ted Kremenek, Jian Zhang
AINA
2009
IEEE
16 years 1 months ago
A New Approach to Model Web Services' Behaviors Based on Synchronization
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
Zakaria Maamar, Quan Z. Sheng, Hamdi Yahyaoui, Jam...