3130 search results - page 172 / 626 » Design Correctness of Digital Systems |
141
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
SoC based system developments commonly employ ESL design ogies and utilize multiple levels of abstract models to provide feasibility study models for architects and development pl...
180
click to vote
DILS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Data integration plays a major role in modern Life Sciences research primarily because required resources are geographically distributed across continents and experts dep...
137
click to vote
KBSE
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
124
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Turbo decoding architectures have greater error correcting capability than any other known code. Due to their excellent performance turbo codes have been employed in several trans...
143
click to vote
JCDL
2004
ACM
15 years 9 months ago
2004
ACM
This paper explains a method for leveraging the standard video timeline widget as an interactive visualization of image features. An eye-tracking experiment is described with resu...