1379 search results - page 43 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
SOCASE
2007
Springer
15 years 6 months ago
2007
Springer
The need to add semantic information to web-accessible services has created a growing research activity in this area. Standard initiatives such as OWL-S and WSDL enable the automat...
105
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
ICIP
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we propose a method for video delivery over bit error channels. In particular, we propose a rate distortion optimal method for slicing and unequal error protection (...
ATS
2003
IEEE
15 years 5 months ago
2003
IEEE
Domain testing is a well-known software testing technique. Although research tasks have been initiated in domain testing, automatic test data generation based on character string ...
121
click to vote
CADE
2001
Springer
16 years 5 days ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...