Sciweavers

6059 search results - page 97 / 1212
» A Technique for Verifying Measurements
Sort
View
IPCCC
1999
IEEE
15 years 10 months ago
Measurement, analysis and performance improvement of the Apache Web server
Performance of Web servers is critical to the success of many corporations and organizations. However, very few results have been published that quantitatively study the server be...
Yiming Hu, Ashwini K. Nanda, Qing Yang
ICDCS
2009
IEEE
16 years 3 months ago
FLASH: Fine-Grained Localization in Wireless Sensor Networks Using Acoustic Sound Transmissions and High Precision Clock Synchro
Sensor localization in wireless sensor networks is an important component of many applications. Previous work has demonstrated how localization can be achieved using various metho...
Evangelos Mangas, Angelos Bilas
189
Voted
TIC
2000
Springer
137views System Software» more  TIC 2000»
15 years 9 months ago
Scalable Certification for Typed Assembly Language
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
Dan Grossman, J. Gregory Morrisett
VLSISP
2010
148views more  VLSISP 2010»
15 years 4 months ago
Energy-efficient Hardware Architecture and VLSI Implementation of a Polyphase Channelizer with Applications to Subband Adaptive
Abstract Polyphase channelizer is an important component of subband adaptive filtering systems. This paper presents an energy-efficient hardware architecture and VLSI implementatio...
Yongtao Wang, Hamid Mahmoodi, Lih-Yih Chiou, Hunso...
133
Voted
DAC
1996
ACM
15 years 10 months ago
Application of a Markov Model to the Measurement, Simulation, and Diagnosis of an Iterative Design Process
- This paper presents the use of a Markov-based model for analyzing iterative design processes. Techniques are developed for collecting process metadata and calibrating the model. ...
Eric W. Johnson, Luis A. Castillo, Jay B. Brockman