3311 search results - page 484 / 663 » Deductive Object Programming |
140
Voted
VSTTE
2012
Springer
13 years 10 months 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...
139
Voted
VEE
2010
ACM
15 years 9 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...
135
click to vote
CGO
2008
IEEE
15 years 9 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 ...
135
click to vote
HPCC
2007
Springer
15 years 8 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 ...
127
Voted
MOBICOM
2004
ACM
15 years 8 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...