2786 search results - page 180 / 558 » A Practical Technique for Process Abstraction |
127
click to vote
VLSI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
CHI
2007
ACM
16 years 2 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...
111
click to vote
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
115
click to vote
DDECS
2009
IEEE
15 years 8 months ago
2009
IEEE
—Automatic Test Pattern Generation (ATPG) based on Boolean satisfiability (SAT) has been shown to be a beneficial complement to traditional ATPG techniques. Boolean solvers wor...
107
click to vote
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
Mining stock data can be beneficial to the participants and researchers in the stock market. However, it is very difficult for a normal trader or researcher to apply data mining...