1145 search results - page 189 / 229 » The Correctness of an Optimized Code Generation |
209
click to vote
FCCM
2011
IEEE
14 years 3 months ago
2011
IEEE
—The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this pap...
CASES
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper explains how efficient support for semiregular distributions can be incorporated in a uniform compilation framework for hybrid applications. The key focus of this work ...
WSC
1997
15 years 1 months ago
1997
One of the key issues in reasoning with multiple interacting intelligent agents is how to model and code the decision making process of the agents. In Artificial Intelligence (AI...
119
click to vote
STOC
2006
ACM
16 years 3 days ago
2006
ACM
The PCP theorem [3, 2] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The cele...