4722 search results - page 505 / 945 » Encoding Program Executions |
184
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a sol...
156
click to vote
VLSISP
2011
14 years 12 months ago
2011
Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propose a new t...
206
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
173
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
166
Voted
EAGC
2004
Springer
15 years 10 months ago
2004
Springer
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...