4385 search results - page 278 / 877 » Abstraction for Concurrent Objects |
160
Voted
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
193
click to vote
SAS
2005
Springer
16 years 3 days ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
148
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
178
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
Abstract— A system is detailed here for using imitation learning to teach a robot to grasp objects using both hand and wholebody grasps, which use the arms and torso as well as h...
162
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A generational collection strategy utilizing a single nursery cannot efficiently manage objects in application servers due to variance in their lifespans. In this paper, ...