4276 search results - page 602 / 856 » Techniques for Empirical Validation |
173
click to vote
CASES
2006
ACM
16 years 14 days ago
2006
ACM
Embedded application requirements, including high performance, low power consumption and fast time to market, are uncommon in the broader domain of general purpose applications. I...
148
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
169
click to vote
ASYNC
2002
IEEE
15 years 11 months ago
2002
IEEE
In a circuit environment that is becoming increasingly sensitive to dynamic power dissipation and noise, and where cycle time available for control decisions continues to decrease...
205
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Computational analysis of mass spectrometric (MS) proteomic data from sera is of potential relevance for diagnosis, prognosis, choice of therapy, and study of disease act...
171
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Mass spectrometry is a key technique in proteomics and can be used to analyze complex samples quickly. One key problem with the mass spectrometric analysis of peptides...