1574 search results - page 199 / 315 » Integrated Tools for Performance-Oriented Distributed Softwa... |
140
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: The development of software tools that analyze microarray data in the context of genetic knowledgebases is being pursued by multiple research groups using different me...
139
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
143
click to vote
ACMACE
2005
ACM
15 years 6 months ago
2005
ACM
Current commercial AI middleware are still far from being a generic and flexible tool for developing computer games. Also the literature lacks proposals in this field. In this w...
165
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
113
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Maintaining a developer's awareness of changes in the software on which she depends is challenging. Awareness is often impeded at two ends of the spectrum: a lack of informat...