615 search results - page 89 / 123 » Beta Reduction Constraints |
146
click to vote
CODES
2007
IEEE
15 years 11 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...
149
Voted
ICC
2007
IEEE
15 years 11 months 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...
149
Voted
ICNP
2007
IEEE
15 years 11 months 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...
165
Voted
ICTAI
2007
IEEE
15 years 11 months 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...
147
click to vote
IPPS
2007
IEEE
15 years 11 months 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...