Sciweavers

5171 search results - page 424 / 1035
» Deterministic Parallel Processing
Sort
View
ECOOPW
1997
Springer
15 years 8 months ago
Active Software Artifacts
There are many similarities between industrial goods manufacturing and software development processes. This paper first briefly analyzes the recent developments in goods manufactur...
Mehmet Aksit, Francesco Marcelloni, Bedir Tekinerd...
CONCUR
2007
Springer
15 years 8 months ago
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. ...
PPSN
2000
Springer
15 years 7 months ago
Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...
Carlos Cotta, José M. Troya
EACL
2003
ACL Anthology
15 years 5 months ago
Empirical Methods for Compound Splitting
Compounded words are a challenge for NLP applications such as machine translation (MT). We introduce methods to learn splitting rules from monolingual and parallel corpora. We eva...
Philipp Koehn, Kevin Knight
ICDE
2010
IEEE
224views Database» more  ICDE 2010»
15 years 4 months ago
Partitioning real-time ETL workflows
—Many organizations are aiming to move away from traditional batch processing ETL to real-time ETL (RT-ETL). This move is motivated by a need to analyze and take decisions on as ...
Alkis Simitsis, Chetan Gupta, Song Wang, Umeshwar ...