6274 search results - page 236 / 1255 » Proofs, Programs, Processes |
152
click to vote
ENTCS
2002
15 years 6 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
168
click to vote
ASPLOS
1998
ACM
15 years 10 months ago
1998
ACM
Several application and technology trends indicate that it might be both pro table and feasible to move computation closer to the data that it processes. In this paper, we evaluat...
281
click to vote
ICDE
2001
IEEE
16 years 7 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...
169
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Marshaling is the process through which structured values are serialized into a stream of bytes; demarshaling converts this stream of bytes back to structured values. Most often, ...
155
click to vote
ASPLOS
1998
ACM
15 years 10 months ago
1998
ACM
This paper proposes a technique that enables performing multi-cycle (multiplication, division, square-root ...) computations in a single cycle. The technique is based on the notio...