20 search results - page 1 / 4 » On the efficient reduction of complete EM based parametric m... |
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
VLSI
2007
Springer
13 years 10 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,...
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
—Abbreviation Completion is a novel technique to improve the efficiency of code-writing by supporting code completion of multiple keywords based on non-predefined abbreviated inp...
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...