861 search results - page 50 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
122
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper proposes a new hierarchical circuit modeling and simulation technique in s-domain for linear analog circuits. The new algorithm can perform circuit complexity reduction...
99
Voted
GPCE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
118
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Investors vary with respect to their expected return and aversion to associated risk, and hence also vary in their performance expectations of the stock market portfolios they hol...
131
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...
125
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
Testing and code editing are interleaved activities during program development. When tests fail unexpectedly, the changes that caused the failure(s) are not always easy to find. W...