1379 search results - page 43 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
126
Voted
SOCASE
2007
Springer
15 years 8 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...
128
Voted
OOPSLA
2010
Springer
15 years 28 days 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...
117
Voted
ICIP
2006
IEEE
16 years 4 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 (...
94
Voted
ATS
2003
IEEE
15 years 7 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 ...
149
Voted
CADE
2001
Springer
16 years 2 months 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...