1901 search results - page 90 / 381 » Predicting Program Properties from |
LCTRTS
1999
Springer
15 years 3 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
84
Voted
ACSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
Many systems execute untrusted programs in virtual machines (VMs) to limit their access to system resources. Sun introduced the Java VM in 1995, primarily intended as a lightweigh...
90
Voted
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
101
click to vote
HYBRID
2004
Springer
15 years 4 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...