Sciweavers

343 search results - page 15 / 69
» Finding latent performance bugs in systems implementations
Sort
View
NSDI
2004
13 years 9 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
DAGSTUHL
2008
13 years 9 months ago
Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
Mariana Luderitz Kolberg, Gerd Bohlender, Dalcidio...
IJMI
2002
82views more  IJMI 2002»
13 years 7 months ago
Protein names and how to find them
A prerequisite for all higher level information extraction tasks is the identication of unknown names in text. Today, when large corpora can consist of billions of words, it is of...
Kristofer Franzén, Gunnar Eriksson, Fredrik...
IMC
2010
ACM
13 years 5 months ago
Measuring path MTU discovery behaviour
Path MTU Discovery (PMTUD) is widely believed to be unreliable because of firewalls that discard ICMP "Packet Too Big" messages. This paper measures PMTUD behaviour for ...
Matthew J. Luckie, Ben Stasiewicz
EUROSIM
1994
13 years 9 months ago
A Data Parallel Implementation of the TRFD Program from the Perfect Benchmarks
: The Perfect benchmarks are a collection of scientific and engineering application-level programs that have been widely used to compare the performance of many different computer ...
David J. Lilja, Jonathan Schmitt