16596 search results - page 3093 / 3320 » Generalized Assignment Problems |
164
click to vote
MICRO
2007
IEEE
16 years 22 days ago
2007
IEEE
Single-threaded programming is already considered a complicated task. The move to multi-threaded programming only increases the complexity and cost involved in software developmen...
179
Voted
NDSS
2007
IEEE
16 years 22 days ago
2007
IEEE
The need for communication privacy over public networks is of growing concern in today’s society. As a result, privacy-preserving authentication and key exchange protocols have ...
187
click to vote
RTSS
2007
IEEE
16 years 22 days ago
2007
IEEE
The increased complexity of performance-sensitive software systems leads to increased use of automated adaptation policies in lieu of manual performance tuning. Composition of ada...
153
click to vote
TASE
2007
IEEE
16 years 22 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...
191
click to vote
VTC
2007
IEEE
16 years 22 days ago
2007
IEEE
— A very promising way to achieve high spectral efficiency in wireless communication is the use of multiple transmit and receive antennas. However, in combination with multicarr...