Sciweavers

CORR
2008
Springer
123views Education» more  CORR 2008»
13 years 8 months ago
Networks become navigable as nodes move and forget
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
Augustin Chaintreau, Pierre Fraigniaud, Emmanuelle...
CORR
2008
Springer
113views Education» more  CORR 2008»
13 years 8 months ago
Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks
We define the "Pulse Synchronization" problem that requires nodes to achieve tight synchronization of regular pulse events, in the settings of distributed computing syste...
Ariel Daliot, Danny Dolev, Hanna Parnas
CORR
2010
Springer
85views Education» more  CORR 2010»
13 years 8 months ago
A control-theoretical methodology for the scheduling problem
This paper presents a novel methodology to develop scheduling algorithms. The scheduling problem is phrased as a control problem, and control-theoretical techniques are used to de...
Carlo A. Furia, Alberto Leva, Martina Maggio, Paol...
CORR
2010
Springer
151views Education» more  CORR 2010»
13 years 8 months ago
Fuzzy Ontology Representation using OWL 2
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
Fernando Bobillo, Umberto Straccia
CORR
2010
Springer
72views Education» more  CORR 2010»
13 years 8 months ago
Rebuilding for Array Codes in Distributed Storage Systems
In distributed storage systems that use coding, the issue of minimizing the communication required to rebuild a storage node after a failure arises. We consider the problem of repa...
Zhiying Wang, Alexandros G. Dimakis, Jehoshua Bruc...
CORR
2008
Springer
97views Education» more  CORR 2008»
13 years 8 months ago
Towards a Spreadsheet Engineering
In this paper, we report some on-going focused research, but are further keen to set it in the context of a proposed bigger picture, as follows. There is a certain depressing patt...
V. R. Vemula, David Ball, Simon R. Thorne
CORR
2008
Springer
105views Education» more  CORR 2008»
13 years 8 months ago
A compact topology for sand automata
In this paper, we exhibit a strong relation between the sand automata configuration space and the cellular automata configuration space. This relation induces a compact topology f...
Alberto Dennunzio, Pierre Guillon, Benoît Ma...
CORR
2010
Springer
149views Education» more  CORR 2010»
13 years 8 months ago
Group Testing with Probabilistic Tests: Theory, Design and Application
Identification of defective members of large populations has been widely studied in the statistics community under the name of group testing. It involves grouping subsets of items...
Mahdi Cheraghchi, Ali Hormati, Amin Karbasi, Marti...
CORR
2010
Springer
95views Education» more  CORR 2010»
13 years 8 months ago
Evaluating Call-By-Need on the Control Stack
Abstract. Ariola and Felleisen's call-by-need -calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substituti...
Stephen Chang, David Van Horn, Matthias Felleisen