274 search results - page 34 / 55 » A Functional Language for Logarithmic Space |
141
Voted
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
The Gaia ubiquitous computing platform currently supports mobile devices through a thin client proxy architecture. Mobile devices run a lightweight proxy client written in J2ME to...
128
Voted
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
141
Voted
ECOOP
1999
Springer
15 years 7 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
126
Voted
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
145
click to vote
PEPM
1998
ACM
15 years 7 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...