3441 search results - page 474 / 689 » Parallel Logic Programming Systems |
166
Voted
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Custom computing systems exhibit significant speedups over traditional microprocessors by mapping compute-intensive sections of a program to reconfigurable logic [Hauck98]. Howeve...
137
Voted
JLP
2006
15 years 5 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...
131
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Distributed computing systems are a viable and less expensive alternative to parallel computers. However, concurrent programming methods in distributed systems have not been studi...
150
click to vote
CPHYSICS
2006
15 years 5 months ago
2006
A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...
172
click to vote
CPHYSICS
2006
15 years 5 months ago
2006
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...