15155 search results - page 408 / 3031 » System Software |
159
click to vote
CGO
2005
IEEE
16 years 13 days ago
2005
IEEE
Aggressive software speculation holds significant potential, because it enables program transformations to reduce the program’s critical path. Like any form of speculation, how...
176
click to vote
HPCA
1998
IEEE
15 years 11 months ago
1998
IEEE
A key challenge in achieving high performance on software DSM systems is overcoming their relatively large communication latencies. In this paper, we consider two techniques which...
189
click to vote
INFSOF
2010
15 years 5 months ago
2010
Context: Measurement programs have been around for several decades but have been often misused or misunderstood by managers and developers. This misunderstanding prevented their a...
176
click to vote
VSTTE
2005
Springer
16 years 9 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
211
click to vote
ASWEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- While mobile users want to obtain software anywhere and anytime without the knowledge of software availability in advance, software providers want to deploy their softwa...