2005, 5 (04)

{{t.download}}

Verifying BON models with Alloy

Ramiro Adrian Demasi, Pablo Daniel Ponzio, Pablo Francisco Castro, Gabriel Baum.

Journal of Computer Science and Technology

{{t.card.abstract}} [

A Parallel Search Algorithm for the SAT

V. Gil Costa, A. M. Printista, N. Reyes , M. Marín.

Journal of Computer Science and Technology

{{t.card.abstract}} [

{{t.card.abstract}} [

{{t.card.abstract}} [

What To Consider For Applying Backfilling On Non-Dedicated Environments

Mauricio Hanzich, Francesc Giné, Porfidio Hernández, Francesc Solsona, Emilio Luque.

Journal of Computer Science and Technology

{{t.card.abstract}} [

{{t.card.abstract}} [

Wildland Fire Risk Maps using S2F2M

Germán Bianchini, Ana Cortés, Tomàs Margalef, Emilio Luque, Emilio Chuvieco, Andrea Camia.

Journal of Computer Science and Technology

{{t.card.abstract}} [

{{t.card.abstract}} [

Cellular Memetic Algorithms

Enrique Alba, Bernabé Dorronsoro, Hugo Alfonso.

Journal of Computer Science and Technology

{{t.card.abstract}} [

Adaptive clustering with artificial ants

Diego Alejandro Ingaramo, Guillermo Leguizamón, Marcelo Errecalde.

Journal of Computer Science and Technology

{{t.card.abstract}} [

Dynamic Load Balancing in Parallel Processing on Non-Homogeneous Clusters

Armando E. De Giusti, Marcelo R. Naiouf, Laura C. De Giusti, Franco Chichizola.

Journal of Computer Science and Technology

{{t.card.abstract}} [

{{t.card.abstract}} [