3742 search results - page 662 / 749 » On the Use of Formal Techniques for Validation |
159
click to vote
HICSS
2007
IEEE
16 years 19 days ago
2007
IEEE
A key enabler of the recently adopted, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reusable building ...
172
click to vote
HIPEAC
2007
Springer
15 years 10 months ago
2007
Springer
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...
224
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Systematic approaches for identifying proteins involved in different types of cancer are needed. Experimental techniques such as microarrays are being used to characte...
222
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: Genome-wide transcriptional profiling of patient blood samples offers a powerful tool to investigate underlying disease mechanisms and personalized treatment decisions...
172
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper we describe a multi-modal ear and face biometric system. The system is comprised of two components: a 3D ear recognition component and a 2D face recognition componen...