3130 search results - page 100 / 626 » Design Correctness of Digital Systems |
114
Voted
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Interacting with physical CDs can be a very tangible and explorative experience. However, physical objects can't provide access to the digital services we are used to when us...
148
Voted
ICC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Generative models are created to be used in the design and performance assessment of high layer wireless communication protocols and some error control strategies. Genera...
112
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
161
Voted
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
125
Voted
ACSD
2007
IEEE
15 years 10 months ago
2007
IEEE
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...