3311 search results - page 484 / 663 » Deductive Object Programming |
162
click to vote
VSTTE
2012
Springer
14 years 2 days ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
155
click to vote
VEE
2010
ACM
15 years 11 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
161
click to vote
CGO
2008
IEEE
15 years 11 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
154
Voted
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The aggregation of objectives in multiple criteria programming is one of the simplest and widely used approach. But it is well known that these techniques sometimes fail ...
151
Voted
MOBICOM
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we consider the problem of searching for a node or an object (i.e., piece of data, file, etc.) in a large network. Applications of this problem include searching fo...