333 search results - page 27 / 67 » Automatic Generation of Parallel Treebanks |
97
Voted
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
116
Voted
HPCA
2008
IEEE
16 years 3 months ago
2008
IEEE
Estimating the maximum power and thermal characteristics of a processor is essential for designing its power delivery system, packaging, cooling, and power/thermal management sche...
174
Voted
WOSP
1998
ACM
15 years 7 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
109
Voted
EACL
2006
ACL Anthology
15 years 4 months ago
2006
ACL Anthology
I propose a uniform approach to the elimination of redundancy in CCG lexicons, where grammars incorporate inheritance hierarchies of lexical types, defined over a simple, feature-...
131
Voted
EUROPAR
2010
Springer
15 years 2 months ago
2010
Springer
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...