203 search results - page 17 / 41 » Efficient Type Inclusion Tests |
CHI
2002
ACM
14 years 7 months ago
2002
ACM
We introduce a new geometry manipulator, a tool for 2D geometrical object manipulations in drawing packages. The manipulator is an extended combination of two standard approaches....
USENIX
2000
13 years 8 months ago
2000
Network servers make special demands that other types of applications may not make on memory allocators. We describe a simple malloc() microbenchmark suite that tests the ability ...
EDBT
2002
ACM
14 years 7 months ago
2002
ACM
The IPSI XQuery Demonstrator (IPSI-XQ) implements the XQuery surface syntax, its mapping to the XQuery Core Language, and the static and dynamic semantics of XQuery Core "by t...
MOBISYS
2009
ACM
14 years 8 months ago
2009
ACM
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
SIAMJO
2010
13 years 2 months ago
2010
In this paper, a primal dual method for general possible nonconvex nonlinear optimization problems is considered. The method is an exterior point type method which means that it p...