9626 search results - page 1270 / 1926 » Invariant Based Programming |
146
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we propose a Reverse Frame Selection (RFS) scheme based on dynamic programming to solve for the problem of video streaming over VBR channels. In particular, we ï...
204
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Loop distribution is one of the most useful techniques to reduce the execution time of parallel applications. Traditionally, loop scheduling algorithms are implemented based on pa...
194
Voted
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
192
Voted
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
217
click to vote
MTV
2006
IEEE
16 years 1 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...