Issue 2/2015
Content (8 Articles)
A Split-Based Incremental Deterministic Automata Minimization Algorithm
Pedro García, Manuel Vázquez de Parga, Jairo A. Velasco, Damián López
The Strong Price of Anarchy of Linear Bottleneck Congestion Games
Bart de Keijzer, Guido Schäfer, Orestis Telelis
FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems
Zohra Abdelhafidi, Mohamed Djoudi, Nasreddine Lagraa, Mohamed Bachir Yagoubi
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki
Enhancing the Computation of Distributed Shortest Paths on Power-law Networks in Dynamic Scenarios
Gianlorenzo D’Angelo, Mattia D’Emidio, Daniele Frigioni, Daniele Romano
An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable
Daniel S. Graça, Ning Zhong