2830 search results - page 305 / 566 » A Development Tool for E-learning Applications |
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
77
Voted
ICDE
2006
IEEE
15 years 5 months ago
2006
IEEE
Data mining has been a popular research area for more than a decade due to its vast spectrum of applications. The power of data mining tools to extract hidden information that can...
112
click to vote
ISMDA
2005
Springer
15 years 4 months ago
2005
Springer
New biomedical technologies need to be integrated for research on complex diseases. It is necessary to combine and analyze information coming from different sources: genetic-molecu...
ISQED
2003
IEEE
15 years 4 months ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
ICCAD
2000
IEEE
15 years 3 months ago
2000
IEEE
Communication designs form the fastest growing segment of the semiconductor market. Both network processors and wireless chipsets have been attracting a great deal of research att...