Sciweavers

627 search results - page 14 / 126
» Modular Concurrency - A New Approach to Manageable Software
Sort
View
VL
2010
IEEE
173views Visual Languages» more  VL 2010»
13 years 7 months ago
Modular Design by Contract Visually and Formally Using VCL
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
Nuno Amálio, Pierre Kelsen
ECSCW
2007
13 years 10 months ago
Semi-Synchronous Conflict Detection and Resolution in Asynchronous Software Development
Previous work has found that (a) when software is developed collaboratively, concurrent accesses to related pieces of code are made, and (b) when these accesses are coordinated asy...
Prasun Dewan, Rajesh Hegde
DAC
2003
ACM
14 years 9 months ago
Scalable modeling and optimization of mode transitions based on decoupled power management architecture
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
Dexin Li, Qiang Xie, Pai H. Chou
POPL
2009
ACM
14 years 3 months ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...
ICSE
2007
IEEE-ACM
14 years 8 months ago
Design and Evaluation of a Diagrammatic Notation to Aid in the Understanding of Concurrency Concepts
It is generally accepted that concurrency can be difficult for students to reason about and to manage. While some studies provide insight into the nature of these difficulties[6],...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt