Sciweavers

4287 search results - page 190 / 858
» Assessing Architectural Complexity
Sort
View
SLOGICA
2008
84views more  SLOGICA 2008»
15 years 4 months ago
Is Logic all in our Heads? From Naturalism to Psychologism
Psychologism in logic is the doctrine that the semantic content of logical terms is in some way a feature of human psychology. We consider the historically influential version of t...
Francis Jeffry Pelletier, Renée Elio, Phili...
ANSOFT
2000
104views more  ANSOFT 2000»
15 years 3 months ago
An experiment on creating scenario profiles for software change
Scenario profiles are used increasingly often for the assessment of quality attributes during the architectural design of software systems. However, the definition of scenario pro...
PerOlof Bengtsson, Jan Bosch
TIM
2010
139views Education» more  TIM 2010»
14 years 10 months ago
A Design Approach For Digital Controllers Using Reconfigurable Network-Based Measurements
In this paper, the authors propose and analyze a network-based control architecture for power-electronicsbuilding-block-based converters. The objective of the proposed approach is ...
Rong Liu, Antonello Monti, Ferdinanda Ponci, Anton...
DATE
2006
IEEE
114views Hardware» more  DATE 2006»
15 years 10 months ago
COSMECA: application specific co-synthesis of memory and communication architectures for MPSoC
Memory and communication architectures have a significant impact on the cost, performance, and time-to-market of complex multi-processor system-on-chip (MPSoC) designs. The memory...
Sudeep Pasricha, Nikil D. Dutt
FAC
2007
128views more  FAC 2007»
15 years 4 months ago
Verifying a signature architecture: a comparative case study
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...