7694 search results - page 1197 / 1539 » An Implementation of an Applicative File System |
154
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Achieving sufficient execution performance is a challenging goal of software development. Unfortunately, violating performance requirements is often revealed at a late stage of th...
196
click to vote
NSDI
2010
15 years 8 months ago
2010
Current WiFi Access Points (APs) choose transmission parameters when emitting wireless packets based solely on channel conditions. In this work we explore the benefits of deciding...
201
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
176
Voted
CVPR
2001
IEEE
16 years 8 months ago
2001
IEEE
Work in simultaneous localisation and map-building ("SLAM") for mobile robots has focused on the simplified case in which a robot is considered to move in two dimensions...
267
click to vote
ICDE
1997
IEEE
16 years 8 months ago
1997
IEEE
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...