480 search results - page 19 / 96 » Understanding the Behavior of Java Programs |
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...
122
Voted
JTRES
2010
ACM
15 years 20 days ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
PADS
2009
ACM
15 years 7 months ago
2009
ACM
Unexpected model behaviors need explanation, so valid behaviors can be separated from errors. Understanding unexpected behavior requires accumulation of insight into the behavior ...
WEBNET
1998
15 years 1 months ago
1998
: The Java Music Toolkit is a set of Java classes that can display and play musical scores. The classes are used in music courseware in which students hear problem sets and notate ...
163
click to vote
VEE
2012
ACM
13 years 8 months ago
2012
ACM
Flexible and efficient runtime design requires an understanding of the dependencies among the components internal to the runtime and those between the application and the runtime...