601 search results - page 77 / 121 » Writing for the Year 2000 |
119
click to vote
ICDCS
2000
IEEE
15 years 3 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...
113
click to vote
ICS
2000
Tsinghua U.
15 years 3 months ago
2000
Tsinghua U.
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...
SIGUCCS
2000
ACM
15 years 3 months ago
2000
ACM
Basic approaches to computer lab management range along a spectrum from total lockdown of lab computers to total freedom. Total lockdown, which can be implemented with system perm...
104
click to vote
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
118
click to vote
TIC
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...