8719 search results - page 1439 / 1744 » A Categorical Approach to Simulations |
224
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
171
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper describes a deterministic approach to adaptive state and parameter estimation using a multiple model structure. In the set-up adopted, the plant of interest is described...
173
click to vote
MAMMO
2010
Springer
15 years 10 months ago
2010
Springer
Digital breast tomosynthesis (DBT) has the potential to enhance breast cancer detection by reducing the confounding effect of superimposed tissue associated with conventional mamm...
203
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
237
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
In the Internet today, traffic management spans congestion control (at end hosts), routing protocols (on routers), and traffic engineering (by network operators). Historically, th...