15754 search results - page 816 / 3151 » Programs are Knowledge Bases |
213
click to vote
CLUSTER
2007
IEEE
16 years 2 months ago
2007
IEEE
— Improving the performance of TCP communication is the key to the successful deployment of MPI programs in a Grid environment in which multiple clusters are connected through hi...
195
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
The path-delay fault simulation of functional tests on complex circuits such as current processor-based systems is a daunting task. The amount of computing power and memory needed...
175
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method for generating all possible rules of multidimension Boolean cellular automata (CA). Based on an original encoding method and the programming of graphical proce...
188
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
212
click to vote
COREGRID
2007
Springer
16 years 1 months ago
2007
Springer
This paper deals with one of the fundamental properties of grid computing – transferring code between grid nodes and executing it remotely on heterogeneous hosts. Contemporary mi...