20 search results - page 1 / 4 » On the efficient reduction of complete EM based parametric m... |
DATE
2009
IEEE
14 years 5 months ago
2009
IEEE
VLSI
2007
Springer
14 years 5 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
14 years 26 days 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
14 years 5 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 8 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...