Sciweavers

4067 search results - page 543 / 814
» Programs for Applying Symmetries
Sort
View
CLUSTER
2001
IEEE
15 years 10 months ago
A Class of Loop Self-Scheduling for Heterogeneous Clusters
Distributed Computing Systems are a viable and less expensive alternative to parallel computers. However, a serious difficulty in concurrent programming of a distributed system is...
Anthony T. Chronopoulos, Manuel Benche, Daniel Gro...
AGP
1998
IEEE
15 years 10 months ago
The Correctness of Set-Sharing
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
EUROPAR
2000
Springer
15 years 10 months ago
Reducing the Replacement Overhead on COMA Protocols for Workstation-Based Architectures
In this paper we discuss the behavior of the replacement mechanism of well-known COMA protocols applied to a loosely-coupled multicomputer system sharing a common bus. We also pres...
Diego R. Llanos Ferraris, Benjamín Sahelice...
GECCO
2000
Springer
158views Optimization» more  GECCO 2000»
15 years 10 months ago
Grammar based function definition in Grammatical Evolution
We describe the use of grammars as an approach to automatic function definition in Grammatical Evolution. The automatic generation of functions allows the evolution of both the fu...
Michael O'Neill, Conor Ryan
PRICAI
2000
Springer
15 years 10 months ago
Argumentation Semantics for Defeasible Logics
Defeasible logic is a simple but efficient rule-based non-monotonic logic. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the m...
Guido Governatori, Michael J. Maher, Grigoris Anto...