2271 search results - page 128 / 455 » Scalable Software Libraries |
107
click to vote
ICPADS
1994
IEEE
15 years 6 months ago
1994
IEEE
: Software cache coherence schemes are very desirable in the design of scalable multiprocessors and massively parallel processors. The authors propose a software cache coherence sc...
116
Voted
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
One of the advantages in virtualized computing clusters compared to traditional shared HPC environments is their ability to accommodate user-specific system customization. Howeve...
119
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
With multicore architectures being introduced to the market, the research community is revisiting problems to evaluate them under the new preconditions set by those new systems. A...
131
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
179
Voted
HYPERTEXT
2009
ACM
15 years 11 months ago
2009
ACM
Collaborative annotation tools are in widespread use. The metadata from these systems can be mined to induce semantic relationships among Web objects (sites, pages, tags, concepts...