3742 search results - page 687 / 749 » On the Use of Formal Techniques for Validation |
241
click to vote
PLDI
2005
ACM
16 years 11 days 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...
208
click to vote
WOSP
2005
ACM
16 years 11 days 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...
188
click to vote
PRICAI
2004
Springer
16 years 5 days 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...
168
click to vote
DATE
2003
IEEE
16 years 3 days 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...
177
click to vote
RIVF
2007
15 years 8 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...