1635 search results - page 257 / 327 » DIPC: A System Software Solution for Distributed Programming |
120
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Delayed branching is a technique to alleviate branch hazards without expensive hardware branch prediction mechanisms. For VLIW processors with deep pipelines and many issue slots,...
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
This demonstration shows an agent-based model for the electricity power market, in which the optimal power flow is determined in a bottom-up fashion. Here, each agent controls a s...
132
click to vote
ARCS
2008
Springer
15 years 4 months ago
2008
Springer
: The architecture of the IBM Cell BE processor represents a new approach for designing CPUs. The fast execution of legacy software has to stand back in order to achieve very high ...
109
Voted
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
143
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...