Sciweavers

CORR
2010
Springer
92views Education» more  CORR 2010»
13 years 7 months ago
Exact counting of Euler Tours for generalized series-parallel graphs
We give a simple polynomial-time algorithm to exactly count the number of Euler Tours (ETs) of any Eulerian generalized series-parallel graph, and show how to adapt this algorithm...
Prasad Chebolu, Mary Cryan, Russell A. Martin
CORR
2010
Springer
92views Education» more  CORR 2010»
13 years 7 months ago
Efficient System-Enforced Deterministic Parallelism
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford
CORR
2010
Springer
125views Education» more  CORR 2010»
13 years 7 months ago
Critical control of a genetic algorithm
Based on speculations coming from statistical mechanics and the conjectured existence of critical states, I propose a simple heuristic in order to control the mutation probability...
Raphaël Cerf
CORR
2010
Springer
81views Education» more  CORR 2010»
13 years 7 months ago
Self-stabilization with Byzantine tolerance for global tasks
Self-stabilization is a versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of a...
Swan Dubois, Toshimitsu Masuzawa, Sébastien...
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 7 months ago
A Survey on Temporal Logics
Savas Konur
CORR
2010
Springer
67views Education» more  CORR 2010»
13 years 7 months ago
From granular avalanches to fluid turbulences through oozing pastes. A mesoscopic physically-based particle model
In this paper, we describe how we can precisely produce complex and various dynamic morphological features such as structured and chaotic features which occur in sand pilings (pil...
Annie Luciani
CORR
2010
Springer
120views Education» more  CORR 2010»
13 years 7 months ago
Dynamical issues in interactive representation of physical objects
The quality of a simulator equipped with a haptic interface is given by the dynamical properties of its components: haptic interface, simulator and control system. Some applicatio...
Jean-Loup Florens, Alina Voda, Daniela Urma
CORR
2010
Springer
131views Education» more  CORR 2010»
13 years 7 months ago
Haptics in computer music : a paradigm shift
With an historical point of view combined with a bibliographic overview, the article discusses the idea that haptic force-feedback transducers correspond with a paradigm shift in o...
Nicolas Castagné, Claude Cadoz, Jean-Loup F...
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 7 months ago
Multi-sensorial interaction with a nano-scale phenomenon : the force curve
Abstract. Using Atomic Force Microscopes (AFM) to manipulate nanoobjects is an actual challenge for surface scientists. Basic haptic interfaces between the AFM and experimentalists...
Sylvain Marlière, Daniela Urma, Jean-Loup F...