4418 search results - page 779 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
182
click to vote
CODES
2006
IEEE
16 years 12 days ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
174
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Decoupling capacitance (decap) is an efficient way to reduce transient noise in on-chip power supply networks. However, excessive decap may cause more leakage power, chip resource...
173
click to vote
TOG
2008
15 years 6 months ago
2008
We propose a novel solid/fluid coupling method that treats the coupled system in a fully implicit manner making it stable for arbitrary time steps, large density ratios, etc. In c...
209
click to vote
PVM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Designing and tuning parallel applications with MPI, particularly at large scale, requires understanding the performance implications of different choices of algorithms ...
177
click to vote
CCGRID
2007
IEEE
16 years 20 days ago
2007
IEEE
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...