2880 search results - page 86 / 576 » Types are calling conventions |
CJ
2006
14 years 12 months ago
2006
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
104
click to vote
ICLP
2009
Springer
15 years 6 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
HPCA
2004
IEEE
16 years 8 days ago
2004
IEEE
Low disk throughput is one of the main impediments to improving the performance of data-intensive servers. In this paper, we propose two management techniques for the disk control...
104
click to vote
AINA
2005
IEEE
15 years 5 months ago
2005
IEEE
The purpose of admission control is to support the Quality of Service (QoS) demands of real time applications via resource reservation. In order to deal with admission control for...