3891 search results - page 451 / 779 » Toward nature-inspired computing |
153
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
The goal of our research is to develop industry-proof software architecture and design metrics. We identify a number of problems that arise in computing software architecture and ...
171
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
203
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Studies in computer supported collaborative learning frequently under-expose the interaction between students and technology. To gain more insight in the way student groups interac...
164
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, a practical approach of diffusion load balancing algorithms and its implementation are studied. Three problems are investigated. The first one is the determination ...
184
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...