1481 search results - page 207 / 297 » Enriching the Software Development Process by Formal Methods |
133
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
Selection of genes that are differentially expressed and critical to a particular biological process has been a major challenge in post-array analysis. Recent development in bioin...
176
Voted
AIIDE
2009
15 years 5 months ago
2009
Design of game worlds is becoming more and more laborintensive because of the increasing demand and complexity of content. This is being partially addressed by developing semi-aut...
141
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
129
click to vote
ENTCS
2007
15 years 4 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
114
click to vote
FPGA
1995
ACM
15 years 7 months ago
1995
ACM
One of the critical issues for multi-FPGA systems is developing software tools for automatically mapping circuits. In this paper we consider one step in this process, partitioning...