3235 search results - page 123 / 647 » Partial Redundant Modeling |
114
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
128
click to vote
IAAI
2003
15 years 5 months ago
2003
In addition to being accurate, it is important that diagnostic systems for use in automobiles also have low development and hardware costs. Model-based methods have shown promise ...
155
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
Efficient architecture exploration and design of application specific instruction-set processors (ASIPs) requires retargetable software development tools, in particular C compil...
134
click to vote
FUIN
2000
15 years 4 months ago
2000
We consider the problem of dependable computation with multiple inputs. The goal is to study when redundancy can help to achieve survivability and when it cannot. We use AND/OR gra...
125
click to vote
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we have studied a common Web service composition problem, the syntactic matching problem, where the output parameters of a Web service can be used as the input para...