4355 search results - page 283 / 871 » From Interpretation to Compilation |
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
136
click to vote
JACM
2007
15 years 6 months ago
2007
We propose a calculus of local equations over one-way measurement patterns [1], which preserves interpretations, and allows the rewriting of any pattern to a standard form where e...
869
click to vote
Book
"Bison is a general-purpose parser generator that converts an annotated context-free grammar
into an LALR(1) or GLR parser for that grammar. Once you are proficient with Biso...
150
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
VLIW processors are statically scheduled processors and their performance depends on the quality of the compiler’s scheduler. We propose a scheduling scheme where the applicatio...
174
click to vote
ETFA
2006
IEEE
16 years 22 days ago
2006
IEEE
Multiplysectioned Bayesian networks provide a probabilistic framework for reasoning about uncertain domains in cooperative multiagent systems. Several advances have been made in r...