Sciweavers

677 search results - page 26 / 136
» Rigorous Object-Oriented Analysis
Sort
View
SIAMMAX
2010
104views more  SIAMMAX 2010»
13 years 3 months ago
Rigorous Perturbation Bounds of Some Matrix Factorizations
This article presents rigorous normwise perturbation bounds for the Cholesky, LU and QR factorizations with normwise or componentwise perturbations in the given matrix. The conside...
Xiao-Wen Chang, Damien Stehlé
HPCA
2003
IEEE
14 years 8 months ago
A Statistically Rigorous Approach for Improving Simulation Methodology
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
Joshua J. Yi, David J. Lilja, Douglas M. Hawkins
ISSRE
2000
IEEE
14 years 25 days ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
BDA
1997
13 years 9 months ago
A Non-Blocking Single-Phase Commit Protocol for Rigorous Participants
Transactional standards have been promoted by OMG and X/Open to allow heterogeneous resources to participate in an Atomic Commitment Protocol (ACP), namely the two-phase commit pro...
Maha Abdallah, Philippe Pucheral
MODELS
2007
Springer
14 years 2 months ago
Rigorously Defining and Analyzing Medical Processes: An Experience Report
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
Stefan Christov, Bin Chen, George S. Avrunin, Lori...