861 search results - page 153 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
There is a strong need now for compilers of embedded systems to find effective ways of optimizing series of loop-nests, wherein majority of the memory references occur in the fo...
109
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposi...
116
click to vote
ATAL
2005
Springer
15 years 1 months ago
2005
Springer
A constrained agent is limited in the actions that it can take at any given time, and a challenging problem is to design policies for such agents to do the best they can despite t...
114
click to vote
FPGA
2008
ACM
15 years 1 months ago
2008
ACM
We present an in-depth analysis of the Xilinx bitstream format. The information gathered in this paper allows bitstream compilation and decompilation. While not actually compromis...
DGO
2007
15 years 1 months ago
2007
This paper addresses cross-national information policy conflict regarding access to information. This type of information policy conflict appears more complex and controversial th...