Sciweavers

1024 search results - page 93 / 205
» Complexity and Performance in Parallel Programming Languages
Sort
View
78
Voted
LREC
2010
144views Education» more  LREC 2010»
15 years 2 months ago
Evaluating Complex Semantic Artifacts
Evaluating complex Natural Language Processing (NLP) systems can prove extremely difficult. In many cases, the best one can do is to evaluate these systems indirectly, by looking ...
Christopher R. Walker, Hannah Copperman
PPDP
2010
Springer
14 years 10 months ago
Tabling for transaction logic
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
Paul Fodor, Michael Kifer
97
Voted
ESOP
2001
Springer
15 years 5 months ago
Control-Flow Analysis in Cubic Time
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
Flemming Nielson, Helmut Seidl
CLUSTER
2006
IEEE
15 years 6 months ago
FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI?
One of the topics of paramount importance in the development of Cluster and Grid middleware is the impact of faults since their occurrence in Grid infrastructures and in large-sca...
William Hoarau, Pierre Lemarinier, Thomas Hé...
TAPSOFT
1997
Springer
15 years 4 months ago
Specifying Complex and Structured Systems with Evolving Algebras
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
Wolfgang May