669 search results - page 4 / 134 » Mastering the Master Theorem |
COMPLEX
2009
Springer
14 years 10 days ago
2009
Springer
We derive variational equations to analyze the stability of synchronization for coupled near-identical oscillators. To study the effect of parameter mismatch on the stability in a ...
ENTCS
2008
13 years 5 months ago
2008
The interactive theorem prover developed in the KeY project, which implements a sequent calculus for JavaCard Dynamic Logic (JavaCardDL) is based on taclets. Taclets are lightweig...
ICCS
2007
Springer
13 years 12 months ago
2007
Springer
Traditional Chinese medicine (TCM) has a rich knowledge about human health and disease by its special way evolved along a very long history. As modern medicine is achieving much pr...
FPGA
2009
ACM
14 years 17 days ago
2009
ACM
This paper describes a bus mastering implementation of the PCI Express protocol using a Xilinx FPGA. While the theoretical peak performance of PCI Express is quite high, attaining...
GI
2005
Springer
13 years 11 months ago
2005
Springer
: Market research draws a coherent picture of the market based on extensive observations of sales acts from numerous data sources. As the data sources refer to the products sold al...