10055 search results - page 1300 / 2011 » Structured programming using processes |
172
click to vote
CLUSTER
2006
IEEE
16 years 1 months ago
2006
IEEE
The increase in the use of parallel distributed architectures in order to solve large-scale scientific problems has generated the need for performance prediction for both determi...
173
click to vote
ISLPED
2004
ACM
16 years 16 days ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
176
click to vote
IMR
2004
Springer
16 years 14 days ago
2004
Springer
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...
227
click to vote
ISSAC
2004
Springer
16 years 14 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
192
click to vote
SPAA
2010
ACM
15 years 12 months ago
2010
ACM
We explore the potential of hardware transactional memory (HTM) to improve concurrent algorithms. We illustrate a number of use cases in which HTM enables significantly simpler c...