2536 search results - page 253 / 508 » Constructing Optimal Highways |
171
click to vote
ISLPED
2005
ACM
16 years 3 days ago
2005
ACM
As the number of cores on a chip increases, power consumed by the communication structures takes significant portion of the overall power-budget. The individual components of the...
149
click to vote
ISAAC
2005
Springer
16 years 1 days ago
2005
Springer
This paper addresses geometric problems that concern manufacturing an object using a cast with a core. In casting, molten material is poured into the cavity of the cast and allowe...
143
click to vote
TACAS
2005
Springer
16 years 11 hour ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
199
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
159
click to vote
ASPLOS
2004
ACM
15 years 12 months ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...