Sciweavers

4305 search results - page 15 / 861
» Analysing Protocol Implementations
Sort
View
131
Voted
SAS
1999
Springer
106views Formal Methods» more  SAS 1999»
15 years 6 months 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»
15 years 7 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»
15 years 7 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
15 years 11 days 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»
15 years 6 months 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...