1617 search results - page 228 / 324 » Modeling and evaluation of hardware software designs |
155
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
173
click to vote
TPDS
2010
15 years 4 months ago
2010
The circular sensing model has been widely used to estimate performance of sensing applications in existing analysis and simulations. While this model provides valuable high-level...
167
click to vote
DATE
2005
IEEE
16 years 1 days ago
2005
IEEE
Context-aware applications pose new challenges, including a need for new computational models, uncertainty management, and efficient optimization under uncertainty. Uncertainty c...
151
click to vote
ITC
1996
IEEE
15 years 10 months ago
1996
IEEE
common use is the distinction into two (abstract) fault models: A new fault modelling scheme for integrated analogue general the "Single Hard Fault Model (SHFM)" and the ...
141
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract— A Kauffman network is an abstract model of gene regulatory networks. Each gene is represented by a vertex. An edge from one vertex to another implies that the former ge...