480 search results - page 29 / 96 » Understanding the Behavior of Java Programs |
94
Voted
IJFCS
2006
15 years 14 days ago
2006
The outcome of verifying software is often a `counterexample', i.e., a listing of the actions and states of a behavior not satisfying the specification. In order to understan...
113
Voted
IWPC
2006
IEEE
15 years 6 months ago
2006
IEEE
Program componentization has been proved to be an effective way to increase the speed and cost-effectiveness of reusing, maintaining, and understanding existing software systems. ...
110
click to vote
VRML
2000
ACM
15 years 4 months ago
2000
ACM
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
134
Voted
ICDCS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...
SOCO
2010
Springer
14 years 10 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...