Sciweavers

38 search results - page 5 / 8
» Tailoring Cleanroom for Industrial Use
Sort
View
FTCS
1998
79views more  FTCS 1998»
13 years 8 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
ISEUD
2009
Springer
14 years 2 months ago
Mutual Development: A Case Study in Customer-Initiated Software Product Development
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
Renate Andersen, Anders I. Mørch
ACSW
2004
13 years 8 months ago
Developing and Delivering a Software Internationalisation Subject
This paper describes the content and delivery of a software internationalisation subject (ITN677) that was developed for Master of Information Technology (MIT) students in the Fac...
Tony Sahama, Chris Ho-Stuart, James M. Hogan
ICSE
2008
IEEE-ACM
14 years 7 months ago
A value-based approach for documenting design decisions rationale: a replicated experiment
The explicit documentation of the rationale of design decisions is a practice generally encouraged but rarely implemented in industry because of a variety of inhibitors. Known met...
Davide Falessi, Rafael Capilla, Giovanni Cantone
WDAG
2004
Springer
98views Algorithms» more  WDAG 2004»
14 years 24 days ago
Dynamic Memory ABP Work-Stealing
The non-blocking work-stealing algorithm of Arora, Blumofe, and Plaxton (hencheforth ABP work-stealing) is on its way to becoming the multiprocessor load balancing technology of ch...
Danny Hendler, Yossi Lev, Nir Shavit