9444 search results - page 1633 / 1889 » The Language Model LMNtal |
175
click to vote
SEFM
2006
IEEE
16 years 19 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...
151
click to vote
ASPLOS
2006
ACM
16 years 18 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...
186
click to vote
ASPLOS
2006
ACM
16 years 18 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...
165
click to vote
PLDI
2006
ACM
16 years 17 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 ...
193
click to vote
RSP
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...