Sciweavers

705 search results - page 81 / 141
» New Compilation Languages Based on Structured Decomposabilit...
Sort
View
ACL
1997
14 years 11 months ago
Probing the Lexicon in Evaluating Commercial MT Systems
In the past the evaluation of machine translation systems has focused on single system evaluations because there were only few systems available. But now there are several commerc...
Martin Volk
PLDI
2006
ACM
15 years 3 months ago
Optimizing memory transactions
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...
Timothy L. Harris, Mark Plesko, Avraham Shinnar, D...
NOMS
2002
IEEE
131views Communications» more  NOMS 2002»
15 years 2 months ago
Tools for domain-based policy management of distributed systems
The management of policies in large-scale systems is complex because of the potentially large number of policies and administrators, as well as the diverse types of information th...
Nicodemos Damianou, Naranker Dulay, Emil Lupu, Mor...
PLDI
2011
ACM
14 years 23 days ago
Understanding POWER multiprocessors
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Mar...
COGSCI
2008
129views more  COGSCI 2008»
14 years 10 months ago
A Rational Analysis of Rule-Based Concept Learning
We propose a new model of human concept learning that provides a rational analysis for learning of feature-based concepts. This model is built upon Bayesian inference for a gramma...
Noah D. Goodman, Joshua B. Tenenbaum, Jacob Feldma...