511 search results - page 7 / 103 » Synchronous Structures |
DATE
2009
IEEE
14 years 4 months ago
2009
IEEE
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
HPCC
2010
Springer
13 years 11 months ago
2010
Springer
This paper presents an algorithm and a data structure for scalable dynamic synchronization in fine-grained parallelism. The algorithm supports the full generality of phasers with d...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...
ATAL
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
EMNLP
2007
13 years 11 months ago
2007
This paper presents a tree-to-tree transduction method for text rewriting. Our model is based on synchronous tree substitution grammar, a formalism that allows local distortion of...