6978 search results - page 252 / 1396 » On Proofs in System P |
277
click to vote
PPSWR
2005
Springer
16 years 3 days ago
2005
Springer
We present typing rules for the Web query language Xcerpt. The rules provide a descriptive type system: the typing of a program is an ation of its semantics. The rules can also be ...
148
click to vote
IGPL
2002
15 years 6 months ago
2002
The system of natural deduction that originated with Gentzen (1934
166
Voted
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Parallel NFS (pNFS) is an emergent open standard for parallelizing data transfer over a variety of I/O protocols. Prototypes of pNFS are actively being developed by industry and a...
182
click to vote
FAST
2008
15 years 9 months ago
2008
TaP is a storage cache sequential prefetching and caching technique to improve the read-ahead cache hit rate and system response time. A unique feature of TaP is the use of a tabl...
192
click to vote
PPL
2008
15 years 6 months ago
2008
Parallel programming has proven to be an effective technique to improve the performance of computationally intensive applications. However, writing parallel programs is not easy, ...