Sciweavers

1034 search results - page 160 / 207
» Cooperative work in software testing
Sort
View
NSDI
2004
15 years 5 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
WCE
2007
15 years 5 months ago
Tool Wear and Surface Roughness in Turning AISI 8620 using Coated Ceramic Tool
- The purpose of this research paper is to study the tool wear and surface roughness of AISI 8620 material using coated ceramic tool by turning process. Ceramic cutting tools have ...
S. Thamizhmanii, K. Kamarudin, E. A. Rahim, A. Sap...
TVLSI
2008
115views more  TVLSI 2008»
15 years 4 months ago
Outer Loop Pipelining for Application Specific Datapaths in FPGAs
Most hardware compilers apply loop pipelining to increase the parallelism achieved, but pipelining is restricted to the only innermost level in a nested loop. In this work we exten...
Kieron Turkington, Turkington A. Constantinides, K...
SIGSOFT
2003
ACM
16 years 5 months ago
Tracking pointers with path and context sensitivity for bug detection in C programs
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
V. Benjamin Livshits, Monica S. Lam
EUROSYS
2006
ACM
16 years 1 months ago
A quantitative analysis of aspects in the eCos kernel
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
Daniel Lohmann, Fabian Scheler, Reinhard Tartler, ...