9325 search results - page 344 / 1865 » The decentralized implementability problem |
164
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
143
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we discuss the parallel implementation of the Cholesky factorization of a positive definite symmetric matrix when that matrix is block tridiagonal. While parallel im...
ENTCS
2007
15 years 4 months ago
2007
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
163
click to vote
GPEM
2002
15 years 4 months ago
2002
Ant Colony Optimization (ACO) is a metaheuristic used to solve combinatorial optimization problems. As with other metaheuristics, like evolutionary methods, ACO algorithms often sh...
134
click to vote
ESAW
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...