2536 search results - page 253 / 508 » Constructing Optimal Highways |
138
click to vote
ISLPED
2005
ACM
15 years 9 months 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...
115
click to vote
ISAAC
2005
Springer
15 years 9 months 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...
113
Voted
TACAS
2005
Springer
15 years 9 months 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...
154
click to vote
ACMICEC
2004
ACM
15 years 9 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...
124
click to vote
ASPLOS
2004
ACM
15 years 9 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...