Sciweavers

1975 search results - page 59 / 395
» Property analysis and design understanding
Sort
View
FDL
2003
IEEE
15 years 11 months ago
A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using aļ¬...
Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt
WORDS
2005
IEEE
15 years 11 months ago
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation
Writing a new scheduler and integrating it into an existing OS is a daunting task, requiring the understanding of multiple low-level kernel mechanisms. Indeed, implementing a new ...
Gilles Muller, Julia L. Lawall, Hervé Duche...
ACMDIS
2004
ACM
15 years 11 months ago
Communication functions and the adaptation of design representations in interdisciplinary teams
Design representations in user-centered design serve intentions for directing design process and communication functions for enlisting interdisciplinary participation. To disentan...
David G. Hendry
DATE
2006
IEEE
96views Hardware» more  DATE 2006»
15 years 12 months ago
On the relation between simulation-based and SAT-based diagnosis
The problem of diagnosis – or locating the source of an error or fault – occurs in several areas of Computer Aided Design, such as dynamic verification, property checking, eq...
Görschwin Fey, Sean Safarpour, Andreas G. Ven...
IFM
1999
Springer
15 years 10 months ago
Integration Problems in Telephone Feature Requirements
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
J. Paul Gibson, Geoff Hamilton, Dominique Mé...