630 search results - page 58 / 126 » Applied inference: Case studies in microarchitectural design |
144
click to vote
IEE
2011
14 years 9 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...
143
click to vote
ATVA
2006
Springer
15 years 5 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
100
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper is on the automation of knowledge-intensive tasks in engineering domains; here, the term “task” relates to analysis and synthesis tasks, such as diagnosis ...
122
click to vote
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper we tackle the problem of designing and implementing a framework for programming service coordination policies. In particular, we illustrate the design and t...
CCE
2005
15 years 1 months ago
2005
A new approach to separation process synthesis and selection of single separations is presented. The method is based on the reuse of existing design cases by case-based reasoning ...