Sciweavers

3365 search results - page 23 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
RSP
1999
IEEE
15 years 4 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
RSP
2003
IEEE
103views Control Systems» more  RSP 2003»
15 years 5 months ago
An Instruction Throughput Model of Superscalar Processors
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
Tarek M. Taha, D. Scott Wills
JCDL
2003
ACM
141views Education» more  JCDL 2003»
15 years 5 months ago
A System for Building Expandable Digital Libraries
Expandability is one of the main requirements of future digital libraries. This paper introduces a digital library service system, OpenDLib, that has been designed to be highly ex...
Donatella Castelli, Pasquale Pagano
ICSE
1998
IEEE-ACM
15 years 4 months ago
Integrating Architecture Description Languages with a Standard Design Method
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
Jason E. Robbins, Nenad Medvidovic, David F. Redmi...
SCESM
2006
ACM
247views Algorithms» more  SCESM 2006»
15 years 5 months ago
Automating software architecture exploration with M2Aspects
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
Ingolf H. Krüger, Gunny Lee, Michael Meisinge...