Sciweavers

3130 search results - page 243 / 626
» Design Correctness of Digital Systems
Sort
View
SPIESR
1996
121views Database» more  SPIESR 1996»
15 years 5 months ago
I/Browse: The Bellcore Video Library Toolkit
I/Browse: The Bellcore Video Library Toolkit is a set of tools for constructing and browsing libraries of digital video. The toolkit is designed to work with video libraries on lo...
Paul England, Robert B. Allen, Mark Sullivan, Andr...
SIGSOFT
2009
ACM
16 years 5 months ago
Supporting automatic model inconsistency fixing
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song...
RSP
2008
IEEE
118views Control Systems» more  RSP 2008»
15 years 11 months ago
Functional DIF for Rapid Prototyping
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
William Plishker, Nimish Sane, Mary Kiemb, Kapil A...
FPGA
2004
ACM
234views FPGA» more  FPGA 2004»
15 years 8 months ago
An embedded true random number generator for FPGAs
Field Programmable Gate Arrays (FPGAs) are an increasingly popular choice of platform for the implementation of cryptographic systems. Until recently, designers using FPGAs had le...
Paul Kohlbrenner, Kris Gaj
CAISE
2006
Springer
15 years 8 months ago
User Profile Interchange in a Service-oriented Architecture
An adaptive e-learning system needs meaningful information about the learners, the user profile, to achieve a correct content tuning for each of the students. The gathering of this...
Daniela Leal Musa, Renata de Matos Galante, Marius...