1982 search results - page 292 / 397 » Parametricity and dependent types |
ECBS
2000
IEEE
15 years 2 months ago
2000
IEEE
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...
ICNP
2000
IEEE
15 years 2 months ago
2000
IEEE
A scalable object location service can enable users to search for various objects in an environment where many small, networked devices are attached to objects. We investigate two...
SSDBM
2000
IEEE
15 years 2 months ago
2000
IEEE
In implementations of non-standard database systems, large objects are often embedded within an aggregate of different types, i.e. a tuple. For a given size and access probabilit...
100
click to vote
CHI
2000
ACM
15 years 2 months ago
2000
ACM
Interfaces based on recognition technologies are used extensively in both the commercial and research worlds. But recognizers are still error-prone, and this results in human perf...
108
click to vote
SC
2000
ACM
15 years 2 months ago
2000
ACM
This is a project for developing a distributed job execution environment for highly iterative jobs. An iterative job is one where the same binary code is run hundreds of times wit...