Sciweavers

1642 search results - page 30 / 329
» SPINning Parallel Systems Software
Sort
View
ACSAC
1999
IEEE
14 years 1 days ago
How to Cheat at the Lottery (or, Massively Parallel Requirements Engineering)
Collaborative software projects such as Linux and Apache have shown that a large, complex system can be built and maintained by many developers working in a highly parallel, relat...
Ross J. Anderson
ICDCS
1998
IEEE
13 years 12 months ago
A Framework for Dependability Driven Software Integration
The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...
Neeraj Suri, S. Ghosh, Thomas J. Marlowe
LCR
2000
Springer
121views System Software» more  LCR 2000»
13 years 11 months ago
Optimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer
MICRO
2010
IEEE
153views Hardware» more  MICRO 2010»
13 years 5 months ago
Scalable Speculative Parallelization on Commodity Clusters
While clusters of commodity servers and switches are the most popular form of large-scale parallel computers, many programs are not easily parallelized for execution upon them. In...
Hanjun Kim, Arun Raman, Feng Liu, Jae W. Lee, Davi...
ICPADS
2005
IEEE
14 years 1 months ago
Comparison of Software Reliability Assessment Methods for Open Source Software
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
Yoshinobu Tamura, Shigeru Yamada