Sciweavers

1987 search results - page 278 / 398
» Structural Model: Architecture for Software Designers
Sort
View
SIGSOFT
2008
ACM
16 years 5 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
Axel van Lamsweerde
SBACPAD
2003
IEEE
102views Hardware» more  SBACPAD 2003»
15 years 9 months ago
Performance Analysis of DECK Collective Communication Service
Collective communication is very useful for parallel applications, especially those in which matrix and vector data structures need to be manipulated by a group of processes. This...
Rafael Ennes Silva, Delcino Picinin, Marcos E. Bar...
CIKM
2003
Springer
15 years 9 months ago
Digital annotation of printed documents
We present a general model and information server for the digital annotation of printed documents. The resulting annotation framework supports both informal and structured annotat...
Corsin Decurtins, Moira C. Norrie, Beat Signer
CASES
2007
ACM
15 years 8 months ago
INTACTE: an interconnect area, delay, and energy estimation tool for microarchitectural explorations
Prior work on modeling interconnects has focused on optimizing the wire and repeater design for trading off energy and delay, and is largely based on low level circuit parameters....
Rahul Nagpal, Arvind Madan, Bharadwaj Amrutur, Y. ...
ICSE
2003
IEEE-ACM
16 years 4 months ago
Scaling Step-Wise Refinement
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Eq...
Don S. Batory, Jacob Neal Sarvela, Axel Rauschmaye...