Sciweavers

3365 search results - page 289 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
FDL
2006
IEEE
15 years 10 months ago
Verification-Oriented Behavioral Modeling of Non-Linear Analog
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
Martin Freibothe, Jens Doege, Torsten Coym, Stefan...
ICIAR
2009
Springer
15 years 11 months ago
VizDraw: A Platform to Convert Online Hand-Drawn Graphics into Computer Graphics
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
Akshaya Kumar Mishra, Justin A. Eichel, Paul W. Fi...
SAMOS
2004
Springer
16 years 1 days ago
Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...
Jianjiang Ceng, Weihua Sheng, Manuel Hohenauer, Ra...
SIGSOFT
2010
ACM
15 years 4 months ago
Separation of concerns for dependable software design
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
Daniel Jackson, Eunsuk Kang
CSCW
1992
ACM
15 years 10 months ago
Groupware Experiences in Three-Dimensional Computer-Aided Design
A system that allows people to simultaneously modify a common design in a graphically rich environment was developed to identify and examine groupware interface issues unique to t...
Li Shu, Woodie Flowers