4117 search results - page 692 / 824 » On the Satisfiability of Complex Constraints |
168
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
149
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
160
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—The sustained push for performance, transistor count, and instruction level parallelism has reached a point where chip level power density issues are at the forefront of design ...
160
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract – This paper considers a design of signal constellations for trans-modulation (constellation rearrangement: CoRe) in a relay system with the multiple links in which the ...
176
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Multiple Base Station (Multi-BS) cooperation has been considered as a promising mechanism to suppress cochannel interference and boost the capacity for cellular networks. Howev...