233 search results - page 47 / 47 » Efficient Combination of Decision Procedures for MUS Computa... |
ASPLOS
2010
ACM
13 years 7 months ago
2010
ACM
Many parallel applications exhibit unpredictable communication between threads, leading to contention for shared objects. The choice of contention management strategy impacts stro...
IFIP12
2004
13 years 6 months ago
2004
: The experience from years of development and use, the advance of technology, and the development of authoring tools for questions and tests has resulted in a sophisticated, compu...
BMCBI
2010
13 years 5 months ago
2010
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...