5536 search results - page 884 / 1108 » Programming Languages for Distributed Applications |
154
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
141
click to vote
EMNLP
2010
14 years 11 months ago
2010
Extant Statistical Machine Translation (SMT) systems are very complex softwares, which embed multiple layers of heuristics and embark very large numbers of numerical parameters. A...
195
click to vote
CC
2009
Springer
16 years 1 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
139
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
101
click to vote
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...