274 search results - page 32 / 55 » Programming Coordinated Behavior in Java |
110
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
118
click to vote
DCOSS
2005
Springer
15 years 7 months ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...
112
click to vote
SIGMETRICS
2004
ACM
15 years 7 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
208
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...