23 search results - page 5 / 5 » Reasoning about Knowledge by Variable Forgetting |
ASPLOS
2008
ACM
13 years 6 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
CD
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
CIARP
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...