7694 search results - page 1481 / 1539 » An Implementation of an Applicative File System |
ICDAR
2003
IEEE
14 years 29 days ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
PLDI
2003
ACM
14 years 28 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
BIRTHDAY
2003
Springer
14 years 27 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
ICPP
1999
IEEE
13 years 12 months ago
1999
IEEE
The probability of failures in software distributed shared memory (SDSM) increases as the system size grows. This paper introduces a new, efficient message logging technique, call...
VRST
1998
ACM
13 years 12 months ago
1998
ACM
Distributed virtual environments allow users at di erent geographical locations to share and interact within a common virtual environment via a local network or through the Intern...