2663 search results - page 209 / 533 » How to Choose a Timing Model |
124
click to vote
IWIA
2005
IEEE
15 years 10 months ago
2005
IEEE
Previous quantitative models of security or survivability have been defined on a range of probable intruder behavior. This measures survivability as a statistic such as mean time...
116
Voted
HYBRID
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. In this paper we show how hybrid control and modeling techniques can be put to work for solving a problem of industrial relevance in Surface Mount Technology (SMT) manufa...
125
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...
164
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
154
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
The ultimate goal of data visualization is to clearly portray features relevant to the problem being studied. This goal can be realized only if users can effectively communicate t...