1112 search results - page 91 / 223 » Executing Abstract Test Cases |
139
click to vote
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
137
click to vote
ACTAC
2002
15 years 3 months ago
2002
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing...
212
click to vote
NFM
2011
14 years 9 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
116
click to vote
DATE
1998
IEEE
15 years 7 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
123
click to vote
CCGRID
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Recently we proposed algorithms for concurrent execution on multiple clusters [9]. In this case, data partitioning is done at two levels; first, the data is distribute...