3742 search results - page 687 / 749 » On the Use of Formal Techniques for Validation |
211
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
175
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
176
click to vote
PRICAI
2004
Springer
15 years 11 months ago
2004
Springer
MicroRNA (miRNA), one of non-coding RNAs (ncRNAs), regulates gene expression directly by arresting the messenger RNA (mRNA) translation, which is important for identifying putative...
149
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents an efficient methodology for estimating the energy consumption of application programs running on extensible processors. Extensible processors, which are incr...
152
click to vote
RIVF
2007
15 years 7 months ago
2007
— This paper investigates the problem of secret key transmissions for an arbitrary Alice-Bob pair in Quantum Key Distribution (QKD)-based networks. We develop a realistic QKDbase...