Sciweavers

980 search results - page 78 / 196
» The Architecture Tradeoff Analysis Method
Sort
View
COMPSAC
2002
IEEE
14 years 24 days 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»
14 years 8 days 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»
13 years 7 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
14 years 1 months 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
14 years 1 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