14577 search results - page 2583 / 2916 » Statistical Language Modelling |
204
click to vote
PPDP
2007
Springer
16 years 25 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
178
click to vote
SEFM
2006
IEEE
16 years 22 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
154
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Growing on-chip wire delays are motivating architectural features that expose on-chip communication to the compiler. EDGE architectures are one example of communication-exposed mi...
188
click to vote
ASPLOS
2006
ACM
16 years 21 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
166
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...