615 search results - page 89 / 123 » Beta Reduction Constraints |
160
click to vote
CODES
2007
IEEE
16 years 11 days 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...
159
click to vote
ICC
2007
IEEE
16 years 10 days ago
2007
IEEE
—Opportunistic scheduling in random beamforming maximizes the sum-rate by allocating resources to the users with the best channel condition, thus leveraging on multiuser diversit...
162
click to vote
ICNP
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract— We propose to add geographic location information into BGP routing updates to enable Geographically Informed Inter-Domain Routing (GIRO). GIRO departs from previous geo...
182
click to vote
ICTAI
2007
IEEE
16 years 9 days ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
162
click to vote
IPPS
2007
IEEE
16 years 9 days ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...