Sciweavers

1155 search results - page 129 / 231
» Computer aided analysis and design of power transformers
Sort
View
DATE
2009
IEEE
143views Hardware» more  DATE 2009»
15 years 8 months ago
Dimensioning heterogeneous MPSoCs via parallelism analysis
—In embedded computing we face a continuously growing algorithm complexity combined with a constantly rising number of applications running on a single system. Multi-core systems...
Bastian Ristau, Torsten Limberg, Oliver Arnold, Ge...
ASM
2008
ASM
15 years 3 months ago
Formal Modeling and Analysis of a Flash Filesystem in Alloy
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
Eunsuk Kang, Daniel Jackson
SIGMETRICS
2006
ACM
116views Hardware» more  SIGMETRICS 2006»
15 years 7 months ago
Applying architectural vulnerability Analysis to hard faults in the microprocessor
In this paper, we present a new metric, Hard-Fault Architectural Vulnerability Factor (H-AVF), to allow designers to more effectively compare alternate hard-fault tolerance scheme...
Fred A. Bower, Derek Hower, Mahmut Yilmaz, Daniel ...
ICIP
2005
IEEE
16 years 3 months ago
Automatic classification of breast density
A recent trend in digital mammography are Computer-Aided Diagnosis systems, which are computerised tools designed to assist radiologists. Most of these systems are used for the au...
Arnau Oliver, Jordi Freixenet, Reyer Zwiggelaar
EXPERT
2002
129views more  EXPERT 2002»
15 years 1 months ago
Modeling and Simulating Work Practice: A Method for Work Systems Design
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
Maarten Sierhuis, William J. Clancey