1401 search results - page 86 / 281 » Tool Integration for Reasoned Programming |
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
IWPC
2002
IEEE
14 years 1 months ago
2002
IEEE
Studying how a software system has evolved over time is difficult, time consuming, and costly; existing techniques are often limited in their applicability, are hard to extend, a...
BMCBI
2005
13 years 8 months ago
2005
Background: Good statistical models for analyzing and simulating multilocus recombination data exist but are not accessible to many biologists because their use requires reasonabl...
APSEC
2000
IEEE
14 years 1 months ago
2000
IEEE
Many program maintenance tools rely on traditional parsing techniques to obtain syntactic level models of the code being maintained. When, for some reason, code cannot be parsed, ...
DAC
1999
ACM
14 years 1 months ago
1999
ACM
At present there are two common types of integrated circuit inductor simulation tools. The first type is based on the Greenhouse methods[1], and obtains a solution in a fraction o...