Sciweavers

2263 search results - page 199 / 453
» Measurement and analysis of LDAP performance
Sort
View
IFL
2005
Springer
207views Formal Methods» more  IFL 2005»
16 years 2 days ago
A Dependently Typed Framework for Static Analysis of Program Execution Costs
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
Edwin Brady, Kevin Hammond
MMMACNS
2005
Springer
16 years 2 days ago
Models and Analysis of Active Worm Defense
Abstract. The recent proliferation of Internet worms has raised questions about defensive measures. To date most techniques proposed are passive, in-so-far as they attempt to block...
David M. Nicol, Michael Liljenstam
FPL
2003
Springer
114views Hardware» more  FPL 2003»
15 years 11 months ago
Power Analysis of FPGAs: How Practical is the Attack?
Recent developments in information technologies made the secure transmission of digital data a critical design point. Large data flows have to be exchanged securely and involve en...
François-Xavier Standaert, Loïc van Ol...
CORR
2010
Springer
133views Education» more  CORR 2010»
15 years 6 months ago
PSIM: A tool for analysis of device pairing methods
Wireless networks are a common place nowadays and almost all of the modern devices support wireless communication in some form. These networks differ from more traditional computi...
Yasir Arfat Malkani, Lachhman Das Dhomeja
JCB
2000
103views more  JCB 2000»
15 years 6 months ago
Testing for Differentially-Expressed Genes by Maximum-Likelihood Analysis of Microarray Data
Although two-color uorescent DNA microarrays are now standard equipment in many molecular biology laboratories, methods for identifying differentially expressed genes in microarra...
Trey Ideker, Vesteinn Thorsson, Andrew F. Siegel, ...