2935 search results - page 435 / 587 » An Integrated Approach to High Integrity Software Verificati... |
157
click to vote
QOSA
2007
Springer
16 years 7 days ago
2007
Springer
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
199
click to vote
DAIS
2008
15 years 7 months ago
2008
Context management in pervasive computing environments must reflect the specific characteristics of these environments, e.g. distribution, mobility, resource-constrained devices, o...
158
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
This paper presents the design and evaluation of an 8-bit adiabatic multiplier. Both the multiplier core and its built-in self-test logic have been designed using a true single-ph...
149
click to vote
ISPD
2003
ACM
15 years 11 months ago
2003
ACM
: Recent years have seen significant research in finding closed form expressions for the delay of an RC circuit that improves upon the Elmore delay model. However, several of these...
158
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Meta-analysis methods exist for combining multiple microarray datasets. However, there are a wide range of issues associated with microarray meta-analysis and a limite...