Sciweavers

2010 search results - page 114 / 402
» On Object Extension
Sort
View
FPCA
1991
14 years 1 months ago
Dynamics in ML
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...
Xavier Leroy, Michel Mauny
ENTCS
2008
130views more  ENTCS 2008»
13 years 10 months ago
Semimodule Enrichment
A category with biproducts is enriched over (commutative) additive monoids. A category with tensor products is enriched over scalar multiplication actions. A symmetric monoidal ca...
Chris Heunen
SIGMOD
2002
ACM
114views Database» more  SIGMOD 2002»
14 years 10 months ago
Time-parameterized queries in spatio-temporal databases
Time-parameterized queries (TP queries for short) retrieve (i) the actual result at the time that the query is issued, (ii) the validity period of the result given the current mot...
Yufei Tao, Dimitris Papadias
CGO
2010
IEEE
13 years 8 months ago
On improving heap memory layout by dynamic pool allocation
Dynamic memory allocation is widely used in modern programs. General-purpose heap allocators often focus more on reducing their run-time overhead and memory space utilization, but...
Zhenjiang Wang, Chenggang Wu, Pen-Chung Yew
EDBT
2006
ACM
194views Database» more  EDBT 2006»
14 years 10 months ago
Hermes - A Framework for Location-Based Data Management
The aim of this paper is to demonstrate Hermes, a robust framework capable of aiding a spatio-temporal database developer in modeling, constructing and querying a database with dyn...
Nikos Pelekis, Yannis Theodoridis, Spyros Vosinaki...