Sciweavers

4396 search results - page 288 / 880
» Measuring the Architecture Design Process
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 10 hour ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
CODES
2004
IEEE
15 years 10 months ago
Benchmark-based design strategies for single chip heterogeneous multiprocessors
Single chip heterogeneous multiprocessors are arising to meet the computational demands of portable and handheld devices. These computing systems are not fully custom designs trad...
JoAnn M. Paul, Donald E. Thomas, Alex Bobrek
KBS
2006
150views more  KBS 2006»
15 years 6 months ago
Platform-based product design and development: A knowledge-intensive support approach
This paper presents a knowledge-intensive support paradigm for platform-based product family design and development. The fundamental issues underlying the product family design an...
Xuan F. Zha, Ram D. Sriram
AAAI
1994
15 years 8 months ago
Towards More Creative Case-Based Design Systems
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
Linda M. Wills, Janet L. Kolodner
ICCCN
2007
IEEE
16 years 29 days ago
Lagniappe: Multi-* Programming Made Simple
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
Taylor L. Riché, R. Greg Lavender, Harrick ...