39039 search results - page 7802 / 7808 » Implementation of the |
134
Voted
ISCC
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we propose a refinement of TCP Westwood allowing the management of the Efficiency/Friendliness-toNewReno tradeoff. We show that the refined TCP Westwood is able to ...
144
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
152
click to vote
SIGUCCS
1998
ACM
15 years 7 months ago
1998
ACM
There are many ways to train student employees, but hands-on experience is invaluable. To provide our Resident Computer Consultants (RCCs) with the experience they need to solve t...
150
click to vote
MUC
1992
15 years 7 months ago
1992
The GE NLTooLsET is a set of text interpretation tools designed to be easily adapted to new domains. This report summarizes the system and its performance on the MUG-4 task . INTR...
147
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...