9325 search results - page 1578 / 1865 » The decentralized implementability problem |
144
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Increased market dynamics, shorter product lifecycles and a higher customer involvement in product design have caused great changes to competitive conditions and many companies ar...
133
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The growing complexity of modern processors has made the development of highly efficient code increasingly difficult. Manually developing highly efficient code is usually expen...
126
Voted
MICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Snoopy cache coherence can be implemented in any physical network topology by embedding a logical unidirectional ring in the network. Control messages are forwarded using the ring...
122
click to vote
TASE
2007
IEEE
15 years 11 months 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...
148
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Hydra is a flexible wireless network testbed being developed at UT Austin. Our focus is networks that support multiple wireless hops and where the network, especially the MAC,...