3 citations · 4 across the 4 of their papers we have counts for
5 papers · 1 filter
An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
Germán Vidal
Rollback recovery strategies are well-known in concurrent and distributed systems. In this context, recovering from unexpected failures is even more relevant given the non-determin…
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs
Germán Vidal
The reliability of concurrent and distributed systems often depends on some well-known techniques for fault tolerance. One such technique is based on checkpointing and rollback rec…
Towards Reversible Computation in Erlang
Naoki Nishida, Adrián Palacios, Germán Vidal
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programmin…
Tuning Fuzzy Logic Programs with Symbolic Execution
Ginés Moreno, Jaime Penabad, Germán Vidal
Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic prog…
Proceedings of CICLOPS-WLPE 2010
German Vidal, Neng-Fa Zhou
Online proceedings of the Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010), Edinburg…