Sciweavers

4305 search results - page 15 / 861
» Analysing Protocol Implementations
Sort
View
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
14 years 29 days ago
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
This paper presents and evaluates a set of analyses designed to reduce synchronization overhead in Java programs. Monitor-based synchronization in Java often causes significant ove...
Jonathan Aldrich, Craig Chambers, Emin Gün Si...
WWIC
2004
Springer
103views Communications» more  WWIC 2004»
14 years 2 months ago
Implementing Ad Hoc to Terrestrial Network Gateways
In this paper we describe our experience of implementing a gateway between ad hoc and terrestrial routing protocols. Our implementation of the gateway includes support for both a u...
Jonathan McGee, Manish Karir, John S. Baras
ISQED
2002
IEEE
137views Hardware» more  ISQED 2002»
14 years 1 months ago
A Comprehensive Layout Methodology and Layout-Specific Circuit Analyses for Three-Dimensional Integrated Circuits
In this paper, we describe a comprehensive layout methodology for bonded three-dimensional integrated circuits (3D ICs). In bonded 3D integration technology, parts of a circuit ar...
Syed M. Alam, Donald E. Troxel, Carl V. Thompson
ICST
2010
IEEE
13 years 6 months ago
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
Sergio Segura, Robert M. Hierons, David Benavides,...
IWACA
1994
126views Multimedia» more  IWACA 1994»
14 years 24 days ago
An Object-Oriented Implementation of the Xpress Transfer Protocol
Abstract. Object-oriented design principles map well onto protocol implementations because protocols essentially manipulate two structures--packets and the states of the endpoints....
W. Timothy Strayer, Simon Gray, Raymond E. Cline J...