14161 search results - page 2631 / 2833 » On generalized middle-level problem |
166
click to vote
MICRO
2007
IEEE
16 years 24 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...
212
click to vote
MOBIQUITOUS
2007
IEEE
16 years 24 days ago
2007
IEEE
—Topology control problems are concerned with the assignment of power levels to the nodes of an ad-hoc network so as to maintain a specified network topology while minimizing th...
181
click to vote
NDSS
2007
IEEE
16 years 24 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 ...
188
click to vote
RTSS
2007
IEEE
16 years 24 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 23 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...