Sciweavers

2296 search results - page 32 / 460
» The Expressive Power of Synchronizations
Sort
View
ICALP
2007
Springer
15 years 10 months ago
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
Marcelo Arenas, Pablo Barceló, Leonid Libki...
135
Voted
OPODIS
2007
15 years 5 months ago
Clock Synchronization in the Byzantine-Recovery Failure Model
Abstract. We consider the problem of synchronizing clocks in synchronous systems prone to transient and dynamic process failures, i.e., we consider systems where all processes may ...
Emmanuelle Anceaume, Carole Delporte-Gallet, Hugue...
170
Voted
BMCBI
2008
146views more  BMCBI 2008»
15 years 4 months ago
EST Express: PHP/MySQL based automated annotation of ESTs from expression libraries
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
Robin P. Smith, William J. Buchser, Marcus B. Lemm...
147
Voted
DCOSS
2010
Springer
15 years 4 months ago
Self-stabilizing Synchronization in Mobile Sensor Networks with Covering
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
Joffroy Beauquier, Janna Burman
133
Voted
NAACL
2010
15 years 1 months ago
Why Synchronous Tree Substitution Grammars?
Synchronous tree substitution grammars are a translation model that is used in syntax-based machine translation. They are investigated in a formal setting and compared to a compet...
Andreas Maletti