3889 search results - page 209 / 778 » The Use of Program Dependence Graphs in Software Engineering |
122
click to vote
EDBTW
2010
Springer
15 years 11 months ago
2010
Springer
Graph composition has applications in a variety of practical applications. In drug development, for instance, in order to understand possible drug interactions, one has to merge k...
163
click to vote
EMSOFT
2011
Springer
14 years 4 months ago
2011
Springer
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
106
Voted
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
Recently, Agile Software Processes have been discussed as flexible and light-weight alternatives to established Software Engineering approaches, in order to overcome the obstacles...
140
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
158
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...