1744 search results - page 338 / 349 » A Proof-Carrying File System |
114
click to vote
MICRO
1998
IEEE
15 years 2 months ago
1998
IEEE
Three dimensional (3D) graphics applications have become very important workloads running on today's computer systems. A cost-effective graphics solution is to perform geomet...
ELPUB
1998
ACM
15 years 1 months ago
1998
ACM
The Library in the card is the slogan which would summarize the aims of the Univeritat Autonoma de Barcelona (UAB) Library Service in its involvement in several EC Libraries Progr...
FQAS
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. With more and more electronic information sources becoming widely available, the issue of the quality of these often-competing sources has become germane. We propose a st...
FSTTCS
1993
Springer
15 years 1 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
105
click to vote
FP
1992
15 years 1 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....