3130 search results - page 243 / 626 » Design Correctness of Digital Systems |
152
click to vote
SPIESR
1996
15 years 5 months ago
1996
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...
137
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
129
click to vote
RSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Dataflow formalisms have provided designers of digital signal processing systems with optimizations and guarantees to arrive at quality prototypes quickly. As system complexity in...
198
click to vote
FPGA
2004
ACM
15 years 8 months ago
2004
ACM
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...
119
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
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...