945 search results - page 54 / 189 » Incremental Branching Programs |
SEKE
2007
Springer
14 years 3 months ago
2007
Springer
One of the impediments to the wide dissemination of software estimation and measurement practices is the significant overhead imposed by these practices on the project and develop...
ICSM
2005
IEEE
14 years 2 months ago
2005
IEEE
We have built a software development tool, CLIME, that uses constraints to ensure the consistency of the different artifacts associated with software. This approach to software dev...
EUROGP
2006
Springer
14 years 19 days ago
2006
Springer
Abstract. Theoretical models of Turing complete linear genetic programming (GP) programs suggest the fraction of halting programs is vanishingly small. Convergence results proved f...
ECOOP
2005
Springer
14 years 2 months ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...