5577 search results - page 777 / 1116 » E2K Technology and Implementation |
164
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Correctness is a paramount attribute of any microprocessor design; however, without novel technologies to tame the increasing complexity of design verification, the amount of bugs...
190
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
196
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
Distributed applications have become a core component of the Internet's infrastructure. However, many undergraduate curriculums, especially at small colleges, do not offer co...
189
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
REVI-MINER is a KDD-environment which supports the detection and analysis of deviations in warranty and goodwill cost statements. The system was developed within the framework of ...
135
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The increasing integration of education and technology has led to the development of a range of note-taking applications. Our project's goal is to provide empirical data to g...