Sciweavers

980 search results - page 78 / 196
» The Architecture Tradeoff Analysis Method
Sort
View
COMPSAC
2002
IEEE
15 years 11 months ago
Application of Hazard Analysis to Software Quality Modelling
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwo...
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
15 years 10 months ago
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
Frédéric Mesnard, Ulrich Neumerkel
CORR
2008
Springer
73views Education» more  CORR 2008»
15 years 5 months ago
Stiffness Analysis of 3-d.o.f. Overconstrained Translational Parallel Manipulators
The paper presents a new stiffness modelling method for overconstrained parallel manipulators, which is applied to 3-d.o.f. translational mechanisms. It is based on a multidimensio...
Anatoly Pashkevich, Damien Chablat, Philippe Wenge...
CODES
2006
IEEE
16 years 7 days ago
A bus architecture for crosstalk elimination in high performance processor design
In deep sub-micron technology, the crosstalk effect between adjacent wires has become an important issue, especially between long on-chip buses. This effect leads to the increas...
Wen-Wen Hsieh, Po-Yuan Chen, TingTing Hwang
CODES
2003
IEEE
15 years 11 months ago
Schedule-aware performance estimation of communication architecture for efficient design space exploration
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
Sungchan Kim, Chaeseok Im, Soonhoi Ha