8874 search results - page 52 / 1775 » A New Implementation of Automath |
128
click to vote
CCR
2008
15 years 22 days ago
2008
A key requirement for IETF recognition of new TCP algorithms is having an independent, interoperable implementation. This paper describes our BSD-licensed implementation of H-TCP ...
135
Voted
ENTCS
2002
15 years 13 days ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
161
Voted
MICCAI
2005
Springer
16 years 1 months ago
2005
Springer
A new approach to interactive segmentation based on random walks was recently introduced that shows promise for allowing physicians more flexibility to segment arbitrary objects in...
LCN
2002
IEEE
15 years 5 months ago
2002
IEEE
We investigate methods of using CRC32 for compressing Web URL strings and sharing of URL lists between servers, caches, and URL switches. Using trace-based evaluation, we compare ...
111
Voted
ISMVL
2000
IEEE
15 years 5 months ago
2000
IEEE
A sequential realization of multiple-output logic functions is presented. A conventional sequential realization is based on SBDDs (Shared reduced ordered Binary Decision Diagrams)...