4722 search results - page 317 / 945 » Encoding Program Executions |
193
click to vote
PEPM
2004
ACM
16 years 2 days ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
171
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
176
click to vote
SAS
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
147
click to vote
ICS
1995
Tsinghua U.
15 years 10 months ago
1995
Tsinghua U.
Threads provide a useful programming model for asynchronous behavior because of their ability to encapsulate units of work that can then be scheduled for execution at runtime, bas...
168
click to vote
COLING
1992
15 years 8 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...