Sciweavers

3130 search results - page 13 / 626
» Design Correctness of Digital Systems
Sort
View
ADAEUROPE
2007
Springer
14 years 1 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
MSE
2003
IEEE
102views Hardware» more  MSE 2003»
14 years 24 days ago
Introducing The Concept Of Design Reuse Into Undergraduate Digital Design Curriculum
Intellectual property (IP) reuse based system design is becoming an industry standard recently. However, current educational system is not effective in the training of engineers ...
Gang Qu
IH
2007
Springer
14 years 1 months ago
Soft Feature-Based Watermark Decoding with Insertion/Deletion Correction
Abstract. Hard decisions constitute the major problem in digital watermarking applications, especially when content adaptive embedding methods are used. Soft-decision decoding, on ...
Mathias Schlauweg, Dima Pröfrock, Erika M&uum...
CBMS
1995
IEEE
13 years 11 months ago
Design and Implementation of a Digital Teleultrasound System for Real-Time Remote Diagnosis
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...
John W. Sublett, Bert J. Dempsey, Alfred C. Weaver
IC
2001
13 years 9 months ago
Design and Implementation of XML-Based Digital Video Library System
In this paper, we describe the design and implementation of an XML-Based Digital Video Library (XDVL) System. The system includes automatic processes from video creation through v...
Jacky C. K. Ma, Michael R. Lyu