9110 search results - page 370 / 1822 » Formally-Based Design Evaluation |
273
click to vote
WETICE
1997
IEEE
15 years 11 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...
172
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Procedures for genetic analyses based on oligonucleotide probes are powerful tools that can allow highly parallel investigations of genetic material. Such procedures r...
167
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we describe the design and preliminary evaluation of a hybrid desktop-handheld system developed to support individuals with aphasia, a disorder which impairs the ab...
201
click to vote
PETRA
2009
ACM
16 years 1 months ago
2009
ACM
The Ambient Kitchen is a high fidelity prototype for exploring the design of pervasive computing algorithms and applications for everyday environments. The environment integrates ...
188
click to vote
MICRO
2007
IEEE
16 years 29 days ago
2007
IEEE
Program runtime characteristics exhibit significant variation. As microprocessor architectures become more complex, their efficiency depends on the capability of adapting with wor...