3686 search results - page 535 / 738 » Pattern-Based Parallel Programming |
141
Voted
TPHOL
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
141
Voted
IEEEPACT
2008
IEEE
15 years 9 months ago
2008
IEEE
Technology scaling in integrated circuits has consistently provided dramatic performance improvements in modern microprocessors. However, increasing device counts and decreasing o...
113
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
In recent years, several approaches have been proposed to use profile information in compiler optimization. This profile information can be used at the source level to guide loo...
119
Voted
ISCA
2006
IEEE
15 years 8 months ago
2006
IEEE
Transactional Memory (TM) simplifies parallel programming by allowing for parallel execution of atomic tasks. Thus far, TM systems have focused on implementing transactional stat...
156
Voted
CLADE
2003
IEEE
15 years 8 months ago
2003
IEEE
With rapid technological advances in network infrastructure, programming languages, compatible component interfaces and so many more areas, today the computational Grid has evolve...