11214 search results - page 1781 / 2243 » Programming Multi-agent Systems |
230
Voted
IWMM
2000
Springer
15 years 11 months ago
2000
Springer
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
211
click to vote
TACAS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
228
click to vote
KDD
1995
ACM
15 years 11 months ago
1995
ACM
Discovering repetitive, interesting, and functional substructures in a structural database improves the ability to interpret and compress the data. However, scientists working wit...
199
Voted
OOPSLA
1995
Springer
15 years 11 months ago
1995
Springer
Existing schemes for object layout and dispatch in the presence of multiple inheritance and separate compilation waste space and are slower than systems with single inheritance. T...
229
click to vote
VLDB
1991
ACM
15 years 11 months ago
1991
ACM
We propose a two-pha.se algorithm for physical database design. In phase one the algorithm, for each logical query, losesrules to determine characteristics of a physical design (s...