3706 search results - page 332 / 742 » The Transformational Approach to Program Development |
118
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
135
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
Summarization of query results is an important problem for many OLAP applications. The Minimum Description Length principle has been applied in various studies to provide summarie...
111
click to vote
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
149
click to vote
CSCW
2006
ACM
15 years 5 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
131
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Developers often change software in ways that cause tests to fail. When this occurs, developers must determine whether failures are caused by errors in the code under test or in...